http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56578
--- Comment #2 from Dmitry Gorbachev <d.g.gorbachev at gmail dot com> 2013-03-12 00:46:13 UTC --- GCC 4.8.0, 4.7.3, 4.6.4; build = host = target = i686-pc-linux-gnu; configured with "--enable-languages=c,c++ --enable-version-specific-runtime-libs --disable-nls --disable-shared"; glibc 2.17; recent binutils (GNU ld and gold). > that is, 'make' prints three times OK The 4th time (prog3) it prints "FAIL" for me -- free() is from main.c, but malloc() is from glibc.
