[Bug tree-optimization/59417] New: ICE in determine_value_range, at tree-ssa-loop-niter.c:176

["antoine.balestrat at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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.