http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59417
Bug ID: 59417 Summary: ICE in determine_value_range, at tree-ssa-loop-niter.c:176 Product: gcc Version: 4.9.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: antoine.balestrat at gmail dot com Hi ! I'm using GCC 4.9 20131207. $ cat deter.c int a, b, d; short c; void f(void) { if(b) { int *e; if(d) { for(; b; a++) lbl1: d = 0; for(; d <= 1; d++) { int **q = &e; for(**q = 0; **q <= 0; **q++) d = 0; } } } else { int t; for(c = 0; c < 77; c++) for(c = 0; c < 46; c++); for (; t <= 0; t++) lbl2: ; goto lbl1; } goto lbl2; } $ xgcc -w -O2 deter.c deter.c: In function âfâ: deter.c:4:6: internal compiler error: in determine_value_range, at tree-ssa-loop-niter.c:176 void f(void) ^ 0xac1d8e determine_value_range ../../srcdir/gcc/tree-ssa-loop-niter.c:176 0xac27f7 bound_difference ../../srcdir/gcc/tree-ssa-loop-niter.c:486 0xac27f7 number_of_iterations_cond ../../srcdir/gcc/tree-ssa-loop-niter.c:1416 0xac27f7 number_of_iterations_exit(loop*, edge_def*, tree_niter_desc*, bool, bool) ../../srcdir/gcc/tree-ssa-loop-niter.c:1972 0xa3e30d number_of_latch_executions ../../srcdir/gcc/tree-scalar-evolution.c:2888 0xac3973 estimate_numbers_of_iterations_loop ../../srcdir/gcc/tree-ssa-loop-niter.c:3411 0xac5997 estimate_numbers_of_iterations_loop ../../srcdir/gcc/tree-ssa-loop-niter.c:3509 0xac5997 max_loop_iterations(loop*, double_int*) ../../srcdir/gcc/tree-ssa-loop-niter.c:3507 0xac5a2a finite_loop_p(loop*) ../../srcdir/gcc/tree-ssa-loop-niter.c:2125 0xa7801f find_obviously_necessary_stmts ../../srcdir/gcc/tree-ssa-dce.c:422 0xa7a5a5 perform_tree_ssa_dce ../../srcdir/gcc/tree-ssa-dce.c:1441 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.