bug#46030: problem is resolved - please close bug

The source of the problem is that /dev/null was a regular file on my system. I checked against this before filing the bug, but not in proper ways. I am sorry for the inconvenience.

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

Subject: obscure bug "extern void free (void *__ptr) __attribute__ ((__nothrow__ , __leaf__));" Configuration Information [Automatically generated, do not change]: Machine: x86_64 OS: linux-gnu Compiler: gcc Compilation CFLAGS: -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -DDEFAULT_PATH_VALU