[Bug tree-optimization/86097] New: [9 Regression] ICE: verify_gimple failed (error: mismatching comparison operand types)

[asolokha at gmx dot com]

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

            Bug ID: 86097
           Summary: [9 Regression] ICE: verify_gimple failed (error:
                    mismatching comparison operand types)
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-9.0.0-alpha20180603 snapshot (r261132) ICEs when compiling the following
snippet w/ -O2 (-O3, -Ofast) -ftree-parallelize-loops=2 -fno-tree-dce:

int rp, vd;

void
p5 (int cd)
{
  while (cd != 0)
    {
      for (rp = 0; rp < 4; ++rp)
        for (vd = 0; vd < 1; ++vd)
          {
 g0:
            ;
          }

      ++rp;
    }

  while (rp < 2)
    {
      for (cd = 0; cd < 1; ++cd)
        for (rp = 1; rp != 0; ++rp)
          {
          }

      ++rp;
    }

  if (cd != 0)
    goto g0;
}

% gcc-9.0.0-alpha20180603 -O2 -ftree-parallelize-loops=2 -fno-tree-dce -w -c
ipszbgfg.c
ipszbgfg.c: In function 'p5':
ipszbgfg.c:4:1: error: mismatching comparison operand types
 p5 (int cd)
 ^~
signed int
unsigned int
if (ivtmp_32 < 3)
during GIMPLE pass: parloops
ipszbgfg.c:4:1: internal compiler error: verify_gimple failed
0xce3929 verify_gimple_in_cfg(function*, bool)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180603/work/gcc-9-20180603/gcc/tree-cfg.c:5401
0xbbecff execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180603/work/gcc-9-20180603/gcc/passes.c:1994
0xbbfc4e execute_todo
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180603/work/gcc-9-20180603/gcc/passes.c:2048