http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60498
--- Comment #3 from zosrothko at orange dot fr --- (In reply to Jakub Jelinek from comment #2) > stdio.h is provided by cygwin, not GCC, so IMHO you should report it there > instead. on the cygwin mailling list, cygwin states that it is a bug in gcc... see this thread: http://cygwin.com/ml/cygwin/2012-04/msg00140.html Thus I am a little bit puzzled...