[Bug c/78365] New: ice in determine_value_range, at tree-ssa-loo p-niter.c:413

[dcb314 at hotmail dot com]

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

            Bug ID: 78365
           Summary: ice in determine_value_range, at tree-ssa-loo
                    p-niter.c:413
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Created attachment 40048
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40048&action=edit
C source code

The attached code, when compiled by gcc trunk dated 20161115,
revision 242408, and with compiler flag -O2, does this:

mklev.c:80:1: internal compiler error: in determine_value_range, at
tree-ssa-loo
p-niter.c:413
0xda4cb1 determine_value_range
        ../../trunk/gcc/tree-ssa-loop-niter.c:413
0xda61f0 bound_difference
        ../../trunk/gcc/tree-ssa-loop-niter.c:743
0xda61f0 number_of_iterations_cond
        ../../trunk/gcc/tree-ssa-loop-niter.c:1714
0xda61f0 number_of_iterations_exit_assumptions(loop*, edge_def*,
tree_niter_desc
*, gcond**, bool)
        ../../trunk/gcc/tree-ssa-loop-niter.c:2290
0xda7a8b number_of_iterations_exit_assumptions(loop*, edge_def*,
tree_niter_desc
*, gcond**, bool)

I'll have a go at reducing the code and I'll also have a go at trying to
find the revision that caused the problem.