[Bug tree-optimization/71031] New: [7 Regression] ICE in extract_range_from_binary_expr_1, at tree-vrp.c:2535 w/ -Os

[asolokha at gmx dot com]

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

            Bug ID: 71031
           Summary: [7 Regression] ICE in
                    extract_range_from_binary_expr_1, at tree-vrp.c:2535
                    w/ -Os
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-7.0.0-alpha20160508 snapshot ICEs when compiling the following reduced
testcase w/ -Os:

int zj;
int **yr;

void
nn (void)
{
  unsigned int od = 4;

  for (;;)
    {
      int lk;

      for (lk = 0; lk < 2; ++lk)
        {
          static int cm;

          zj = 0;
          if (od == 0)
            return;
          ++od;
          for (cm = 0; cm < 2; ++cm)
            {
              --od;
              **yr = 0;
            }
        }
    }
}

% gcc-7.0.0-alpha20160508 -c -Os z5y81wfl.c                            
z5y81wfl.c: In function 'nn':
z5y81wfl.c:5:1: internal compiler error: in extract_range_from_binary_expr_1,
at tree-vrp.c:2535
 nn (void)
 ^~