-----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----- _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
