Re: Bad gcc -O optimization cause core dump. What to do?

> The ATTR_NOTHROW_NONNULL_1 makes me think that not all is lost and something
> can be done with the NULL pointer. I am not very familiar with gcc
> internals, but I will try to see if something can be changed.

OK, the 'gcc -O -o test -fno-builtin-printf test.c' is your friend.
-- 
Eygene