Re: obscure bug "extern void free (void *__ptr) __attribute__ ((__nothrow__ , __leaf__));"

[Chet Ramey]

On 1/22/21 2:53 AM, Eduardo A. Bustamante López wrote:

> - Notice that the value returned by `fstat(0, ...)' indicates that /dev/null in 
> your system is a *regular* file (it should be `st_mode=S_IFCHR|0666', but 
> instead it is `st_mode=S_IFCHR|0666'). It also indicates that its size is 73 
> bytes (`st_size=73').
> - Notice that `cat' reads from file descriptor 0 (i.e. /dev/null), and the 
> return value is a string of 73 bytes in length.
> - `cat' then writes that string out to `./config.status'
>
> 73 happens to be the length of the string that has been causing issues for you:
>
>    $ echo "extern void free (void *__ptr) __attribute__ ((__nothrow__ , 
> __leaf__));" | wc -c
>    73

This is a first-class observation.

--
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    chet@case.edu    http://tiswww.cwru.edu/~chet/