[Bug c/97472] New: Another EVRP problem

[dcb314 at hotmail dot com]

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

            Bug ID: 97472
           Summary: Another EVRP problem
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

For this C source code:

int a, b;
void c() {
  short d = 0;
  for (;;) {
    d ?: c;
    d |= b;
    a = d ? d &= 0 : 0;
  }
}

and compiler flag -O2, I get with recent gcc trunk:

$ /home/dcb/gcc/results/bin/gcc -c -O2 -w bug655.c
bug655.c: In function ‘c’:
bug655.c:9:1: error: invalid types in nop conversion
    9 | }
      | ^
long int
<<< error >>>
_1 = (long int) _4;
during GIMPLE pass: evrp