On Mon, 13 Dec 2010 15:46:38 +1300 Gian Perrone <[email protected]> wrote: > > anyone mind sanity-checking this relatively-minimized source file > > for me? http://adam.chlipala.net/tmp/test.c > > I can confirm that on my version of GCC (gcc version 4.2.1 (Apple Inc. > build 5664)), I only get one line of output, irrespective of the > optimisation level.
I can confirm that on my version of GCC (gcc version 4.3.3 (Ubuntu 4.3.3-5ubuntu4)), I only get one line of output, irrespective of the optimisation level. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
