> 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