[Ur] More questions

[Gian Perrone]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 12/13/10 1:33 PM, Adam Chlipala wrote:
> Second, I reproduced your bug, and I think I've isolated it to what
> looks like a bug in GCC, related to use of a GCC C extension.  Would
> anyone mind sanity-checking this relatively-minimized source file for me?
>     http://adam.chlipala.net/tmp/test.c
> With my GCC (and presumably with Marc's, too), it prints only one line
> of output, though I was expecting two.  It seems GCC is dropping certain
> side effects that occur inside struct initializers in certain contexts. 
> That is the root cause of the dropped SQL side effects from the larger
> example.
> 

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.

Gian
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJNBYkIAAoJEDd5xfOXfbYM/ygIAIlrs0zs4QY4G2+ysUgqiv8X
lIR0ZgwrMzZV5hjAXbHBYi9iDZzZtSUm8XXJOZS2j4c5yuvjCSXkBtGGawfWek3O
3vgFQQsLaV8gLnLC5sarLwurMZbdrsyee/RiV0XVZy/H1uKkAxB8QaBmM97XUaDO
Z+6VHHsf2sLiSao7WZm+3yeGGSJ9ykxIrWgFYREXEIhpE+AH4po8E66xQXDcQFtm
Cy4ld/j4nbfZoShU6o1K5RJ4bRu1hWdbKm4NvEEJ5PX1gGG2KH4GDwfeH/cmSPoF
5GFfzKbNFJXh/KF4lsTMBN3uLWABCXvMjqEmVzpWR11NmL0qeS3evUc7u/0oJzs=
=NH4S
-----END PGP SIGNATURE-----