[Bug tree-optimization/77677] [7 Regression] ICE at -O1 and above in both 32-bit and 64-bit modes on x86_64-linux-gnu (internal compiler error: in set_value_range, at tree-vrp.c:361)

["kugan at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77677

--- Comment #7 from kugan at gcc dot gnu.org ---
(In reply to Bill Seurer from comment #6)
> The test case 176.gcc in the spec2000 benchmarks still fails apparently with
> the same error even after 240352
> 
> (this is with 240383)
> 
> loop.c: At top level:
> loop.c:6648:1: internal compiler error: in set_value_range, at tree-vrp.c:367
>  }
>  ^
> 0x10bf4f6f set_value_range
> 	/home/seurer/gcc/gcc-test/gcc/tree-vrp.c:367
> 0x10bf9067 vrp_meet_1
> 	/home/seurer/gcc/gcc-test/gcc/tree-vrp.c:8639
> 0x10bf9067 vrp_meet(value_range*, value_range const*)
> 	/home/seurer/gcc/gcc-test/gcc/tree-vrp.c:8716
> 0x110a14c3 ipcp_vr_lattice::meet_with_1(value_range const*)
> 	/home/seurer/gcc/gcc-test/gcc/ipa-cp.c:987
> 0x110a4c9f ipcp_vr_lattice::meet_with(value_range const*)
> 	/home/seurer/gcc/gcc-test/gcc/ipa-cp.c:969
> 0x110a4c9f propagate_vr_accross_jump_function
> 	/home/seurer/gcc/gcc-test/gcc/ipa-cp.c:2077
> 0x110a4c9f propagate_constants_accross_call
> 	/home/seurer/gcc/gcc-test/gcc/ipa-cp.c:2435
> 0x110abdc7 propagate_constants_topo
> 	/home/seurer/gcc/gcc-test/gcc/ipa-cp.c:3329
> 0x110abdc7 ipcp_propagate_stage
> 	/home/seurer/gcc/gcc-test/gcc/ipa-cp.c:3439
> 0x110acf13 ipcp_driver
> 	/home/seurer/gcc/gcc-test/gcc/ipa-cp.c:5246
> 0x110acf13 execute
> 	/home/seurer/gcc/gcc-test/gcc/ipa-cp.c:5342
> Please submit a full bug report,
> with preprocessed source if appropriate.
> Please include the complete backtrace with any bug report.
> See <http://gcc.gnu.org/bugs.html> for instructions.
> specmake: *** [loop.o] Error 1
> specmake: *** Waiting for unfinished jobs....
> specmake -j20 options 2> options.err | tee options.out
> COMP: /home/seurer/gcc/install/gcc-test/bin/gcc -c -o options.o 
> -fno-strict-aliasing -m32 -DHOST_WORDS_BIG_ENDIAN -DSPEC_CPU2000_LINUX_PPC32
> -O3 -mcpu=power7 -fpeel-loops -funroll-loops -ffast-math -fvect-cost-model
> -mpopcntd -mrecip=rsqrt  
> LINK: /home/seurer/gcc/install/gcc-test/bin/gcc -m32 -Wl,-q
> -Wl,-rpath=/home/seurer/gcc/install/gcc-test/lib  -O3 -mcpu=power7
> -fpeel-loops -funroll-loops -ffast-math -fvect-cost-model -mpopcntd
> -mrecip=rsqrt      -lm  -o options
>   Some files did not appear to be built: cc1
> *** Error building 176.gcc

Sorry about the breakage. As Richard pointed out, it could come from other
places too. I have posted a patch at
https://gcc.gnu.org/ml/gcc-patches/2016-09/msg01629.html. I haven’t tested the
patch with spec2000 yet.