https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77677
Zhendong Su <su at cs dot ucdavis.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |su at cs dot ucdavis.edu --- Comment #2 from Zhendong Su <su at cs dot ucdavis.edu> --- Here is another test that triggers the same ICE: $ gcc-trunk -v Using built-in specs. COLLECT_GCC=gcc-trunk COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/7.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc-source-trunk/configure --enable-languages=c,c++,lto --prefix=/usr/local/gcc-trunk --disable-bootstrap Thread model: posix gcc version 7.0.0 20160921 (experimental) [trunk revision 240310] (GCC) $ $ gcc-trunk -Os small.c small.c:15:1: internal compiler error: in set_value_range, at tree-vrp.c:361 } ^ 0xe70f86 set_value_range ../../gcc-source-trunk/gcc/tree-vrp.c:360 0xe738f7 vrp_meet_1 ../../gcc-source-trunk/gcc/tree-vrp.c:8639 0xe738f7 vrp_meet(value_range*, value_range const*) ../../gcc-source-trunk/gcc/tree-vrp.c:8716 0x13001e5 ipcp_vr_lattice::meet_with_1(value_range const*) ../../gcc-source-trunk/gcc/ipa-cp.c:987 0x1305e54 ipcp_vr_lattice::meet_with(value_range const*) ../../gcc-source-trunk/gcc/ipa-cp.c:969 0x1305e54 propagate_vr_accross_jump_function ../../gcc-source-trunk/gcc/ipa-cp.c:2072 0x1305e54 propagate_constants_accross_call ../../gcc-source-trunk/gcc/ipa-cp.c:2435 0x1307990 propagate_constants_topo ../../gcc-source-trunk/gcc/ipa-cp.c:3329 0x1307990 ipcp_propagate_stage ../../gcc-source-trunk/gcc/ipa-cp.c:3439 0x1309f03 ipcp_driver ../../gcc-source-trunk/gcc/ipa-cp.c:5246 0x1309f03 execute ../../gcc-source-trunk/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. $ $ cat small.c int a, b; static void fn1 (short p1) { a = -p1; if (a || b) __builtin_printf ("%d\n", b); } int main () { int c[] = { 40000 }; fn1 (c[0]); return 0; } $