[Bug c/68062] New: ICE when comparing vectors

[hubicka at gcc dot gnu.org]

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

            Bug ID: 68062
           Summary: ICE when comparing vectors
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hubicka at gcc dot gnu.org
  Target Milestone: ---

Hi,
the following testcase:

typedef char __attribute__ ((vector_size (4))) v4qi;
typedef unsigned char __attribute__ ((vector_size (4))) uv4qi;

v4qi v;
void ret(char a)
{
  v4qi c={a,a,a,a};
  uv4qi d={a,a,a,a};
  v = (c!=d);
}

Gives:
b.c:8:6: error: mismatching comparison operand types
 void ret(char a)
      ^
v4qi
uv4qi
D.2265 = c != d;
b.c:8:6: internal compiler error: verify_gimple failed
0xcef09d verify_gimple_in_seq(gimple*)
        ../../gcc/tree-cfg.c:4767
0xaae4e8 gimplify_body(tree_node*, bool)
        ../../gcc/gimplify.c:9319
0xaaecb5 gimplify_function_tree(tree_node*)
        ../../gcc/gimplify.c:9408
0x923fa7 cgraph_node::analyze()
        ../../gcc/cgraphunit.c:636
0x9274e3 analyze_functions
        ../../gcc/cgraphunit.c:1091
0x927d90 symbol_table::finalize_compilation_unit()
        ../../gcc/cgraphunit.c:2540
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.