[Ur] More questions

[Davor Ocelic]

On Mon, 13 Dec 2010 15:46:38 +1300
Gian Perrone <gdpe at itu.dk> 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.