[Bug tree-optimization/81297] New: [8 Regression] ICE in get_single_symbol

[asolokha at gmx dot com]

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

            Bug ID: 81297
           Summary: [8 Regression] ICE in get_single_symbol
           Product: gcc
           Version: 8.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: ---

At least gcc-8.0.0-alpha20170625 and gcc-8.0.0-alpha20170702 snapshots ICE when
compiling the following snippet w/ -O2 (-O3, -Ofast, -Os) -fwrapv:

int
nf (int gy, int x0)
{
  while (gy < 1)
    ++x0;

  gy += !!gy;
  if (gy < 0)
    {
      x0 += gy;
      return (x0 > (gy + x0)) ? (1 / 0) : 1;
    }
}

% gcc-8.0.0-alpha20170702 -O2 -fwrapv -w -c umhraicu.c 
during GIMPLE pass: evrp
umhraicu.c: In function 'nf':
umhraicu.c:13:1: internal compiler error: in get_single_symbol, at
tree-vrp.c:799
 }
 ^