[Bug tree-optimization/71006] New: [7 Regression] ICE: verify_gimple failed (error: type mismatch in conditional expression) w/ -O1 -ftree-loop-vectorize

[asolokha at gmx dot com]

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

            Bug ID: 71006
           Summary: [7 Regression] ICE: verify_gimple failed (error: type
                    mismatch in conditional expression) w/ -O1
                    -ftree-loop-vectorize
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          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-alpha20160501 snapshot ICEs when compiling the following reduced
testcase w/ -O1 -ftree-loop-vectorize:

% gcc-7.0.0-alpha20160501 -c -O1 -ftree-loop-vectorize gmqj07kc.c
gmqj07kc.c: In function 'fs':
gmqj07kc.c:4:1: error: type mismatch in conditional expression
 fs (void)
 ^~
vector(16) char
vector(16) unsigned char
vector(16) unsigned char
vect__16.14_73 = VEC_COND_EXPR <vect_vec_iv_.13_67 != vect_cst__69,
vect_cst__70, vect_cst__72>;
gmqj07kc.c:4:1: internal compiler error: verify_gimple failed

unsigned char uu, gu, e2;

void
fs (void)
{
  char *nq = (char *)&gu, *k4 = (char *)&gu;
  while (*k4 < 1)
    {
      uu += (*nq != 0 || e2 != 0);
      ++*k4;
    }
}