[Bug c/54149] write introduction incorrect wrt the C11 memory model

2012-09-07 Thread aldyh at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54149 Aldy Hernandez changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug c/54149] write introduction incorrect wrt the C11 memory model

2012-08-23 Thread francesco.zappa.nardelli at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54149 --- Comment #1 from Francesco Zappa Nardelli 2012-08-23 16:34:38 UTC --- Here is another C program that hits a similar write-introduction problem: int g_7, g_372; char func_10 () { for (; g_7 < 0; ++g_7) { } return 0; } void main () { i