[Bug tree-optimization/77929] New: [7 Regression] ICE: verify_gimple failed (error: non-trivial conversion at assignment)

[asolokha at gmx dot com]

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

            Bug ID: 77929
           Summary: [7 Regression] ICE: verify_gimple failed (error:
                    non-trivial conversion at assignment)
           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-alpha20161009 ICEs when compiling the following reduced snippet at
-O1 (-O2, -O3, -Ofast):

void
jx (int xg, unsigned short int rn)
{
  int g2 = 0;
  int nf = (rn != 0) ? (xg < rn) : (g2 < 0);

  if ((xg >= 0) & nf)
    while (xg != 0)
      &xg;
}

% gcc-7.0.0-alpha20161009 -O1 -c bhtuxg1w.c 
bhtuxg1w.c: In function 'jx':
bhtuxg1w.c:2:1: error: non-trivial conversion at assignment
 jx (int xg, unsigned short int rn)
 ^~
int
_Bool
_5 = _11;
bhtuxg1w.c:2:1: internal compiler error: verify_gimple failed