[Bug tree-optimization/81249] [8 Regression] ICE: error: incompatible types in PHI argument 0

["trippels at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|bootstrap                   |tree-optimization
            Summary|[8 Regression] LTO/PGO      |[8 Regression] ICE: error:
                   |bootstrap: ICE: in          |incompatible types in PHI
                   |compare_values_warnv, at    |argument 0
                   |tree-vrp.c:1029             |

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
trippels@gcc67 gcc % cat genattrtab.ii
typedef struct rtx_def *rtx;
union rtunion {
  rtx rt_rtx;
};
struct rtx_def {
  struct {
    rtunion fld[0];
  } u;
  rtx elem[];
} a;
int b, c, d;
rtx e;
int main() {
  for (;;) {
    d = 0;
    for (; d < b; d++)
      if (a.elem[d])
        e = a.elem[d]->u.fld[1].rt_rtx;
    if (e)
      c = 0;
  }
}

trippels@gcc67 gcc % g++ -O3 -march=znver1 genattrtab.ii
genattrtab.ii: In function ‘int main()’:
genattrtab.ii:13:5: error: incompatible types in PHI argument 0
 int main() {
     ^~~~
struct rtx_def *

long unsigned int

e_lsm.8_49 = PHI <_79(9), e_lsm.8_1(5)>
genattrtab.ii:13:5: error: incompatible types in PHI argument 1
struct rtx_def *

long unsigned int

e_lsm.8_53 = PHI <e_lsm.8_40(13), _79(9)>
during GIMPLE pass: vect
genattrtab.ii:13:5: internal compiler error: verify_gimple failed
0xe383a6 verify_gimple_in_cfg(function*, bool)
        ../../gcc/gcc/tree-cfg.c:5304
0xd124a3 execute_function_todo
        ../../gcc/gcc/passes.c:1989
0xd12de9 execute_todo
        ../../gcc/gcc/passes.c:2043