[Bug tree-optimization/80788] New: [8 Regression] ICE in set_value_range, at tree-vrp.c:252

["asolokha at gmx dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 80788
           Summary: [8 Regression] ICE in set_value_range, at
                    tree-vrp.c:252
           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: ---

gcc-8.0.0-alpha20170514 snapshot ICEs when compiling the following snippet w/
-O2 (-Os, -O3, -Ofast) -fno-strict-overflow:

void
w3 (char yw)
{
  char pa = (yw + 1) ^ 128;

  yw &= !!pa;
  if (yw != 0)
    for (;;)
      {
      }
}

% gcc-8.0.0-alpha20170514 -O2 -fno-strict-overflow -c p6zbu0i0.c
p6zbu0i0.c: In function 'w3':
p6zbu0i0.c:11:1: internal compiler error: in set_value_range, at tree-vrp.c:252
 }
 ^