------- Comment #1 from rguenth at gcc dot gnu dot org 2008-07-19 15:43 ------- Please attach preprocessed source of printf_size.c which you can obtain by adding -save-temps to the command line of gcc. The preprocessed source will be named printf_size.i.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36875