[Bug tree-optimization/60115] [4.9 Regression] wrong code at -O3 on x86_64-linux-gnu

[su at cs dot ucdavis.edu]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60115

--- Comment #5 from Zhendong Su <su at cs dot ucdavis.edu> ---
(In reply to Jakub Jelinek from comment #2)
> I have to use something like:
> int a, b[1];
> 
> int
> main ()
> {
> lbl:
>   for (; a; a--)
>     if (b[10000000])
>       goto lbl;
> 
>   return 0;
> }
> 
> to actually successfully reproduce it.  Anyway, started with r204458.

It also affects the current 4.8 branch that I just built (but not the 4.8
releases).  

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/su/software/local/gcc-4.8/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.3/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-4.8/configure --enable-languages=c,c++
Thread model: posix
gcc version 4.8.3 20140208 (prerelease) [gcc-4_8-branch revision 207632] (GCC) 
$
$ gcc -O3 small.c; a.out
Segmentation fault (core dumped)
$
$ gcc-4.8.2 -O3 small.c; a.out
$ gcc-4.8.1 -O3 small.c; a.out
$ gcc-4.8.0 -O3 small.c; a.out