[Bug tree-optimization/78384] New: [7 Regression] ICE: verify_flow_info failed (error: wrong outgoing edge flags at end of bb 15)

[asolokha at gmx dot com]

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

            Bug ID: 78384
           Summary: [7 Regression] ICE: verify_flow_info failed (error:
                    wrong outgoing edge flags at end of bb 15)
           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-alpha20161113 snapshot ICEs when compiling the following reduced
snippet at -O3 or -Ofast:

void
a2 (int wv, int yg, int r9)
{
  while (wv < 1)
    {
      int vn = r9 % 0;

      while (yg < 1)
        {
          int lz;

          for (r9 = 0; r9 < 17; ++r9)
            {
            }

 it:
          lz = (yg++ >= 0) ? 2 : 0;
          wv = vn < lz;
        }
    }
  goto it;
}

% x86_64-unknown-linux-gnu-gcc-7.0.0-alpha20161113 -O3 -w -c mohqqsmg.c
mohqqsmg.c: In function 'a2':
mohqqsmg.c:2:1: error: wrong outgoing edge flags at end of bb 15
 a2 (int wv, int yg, int r9)
 ^~
mohqqsmg.c:2:1: internal compiler error: verify_flow_info failed