[Bug tree-optimization/69353] [6 Regression] [graphite] ICE: verify_gimple failed (error: non-trivial conversion at assignment) w/ -O2 (-O3) -floop-nest-optimize

[ktkachov at gcc dot gnu.org]

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

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2016-02-17
                 CC|                            |ktkachov at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from ktkachov at gcc dot gnu.org ---
Confirmed on aarch64 as well.
I've seen the same ICE with a different testcase at -O3 -floop-interchange
int a, b, c, e;
short d;
void
fn1 ()
{
  for (; b; b++)
    {
      char f = c = 2;
      for (; c <= 6; c++)
        ++f;
      if ((2 && a) >= f)
        ;
      else
        {
          short *g = &d;
          *g = e = 0;
        }
    }
}

mycrash.c: In function 'fn1':
mycrash.c:4:1: error: incompatible types in PHI argument 1
 fn1 ()
 ^~~
short int

int

d_lsm.10_23 = PHI <d_lsm.10_38(4), e_lsm.8_13(14)>
mycrash.c:4:1: error: incompatible types in PHI argument 0
short int

int

d_lsm.10_54 = PHI <e_lsm.8_13(16)>
mycrash.c:4:1: error: non-trivial conversion at assignment
int
short int
# .MEM_51 = VDEF <.MEM_50>
e = d_lsm.10_54;
mycrash.c:4:1: internal compiler error: verify_gimple failed
0xb52ad6 verify_gimple_in_cfg(function*, bool)
        $TOP/gcc/tree-cfg.c:5125
0xa45cba execute_function_todo
        $TOP/gcc/passes.c:1958
0xa45ec5 do_per_function
        $TOP/gcc/passes.c:1645
0xa4600d execute_todo
        $TOP/gcc/passes.c:2010
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.