[Bug middle-end/65556] [5 Regression] ICE: verify_gimple failed (type precision mismatch in switch statement)

trippels at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Wed Mar 25 17:11:00 GMT 2015


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-03-25
                 CC|                            |trippels at gcc dot gnu.org
   Target Milestone|---                         |5.0
     Ever confirmed|0                           |1

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 tmp % cat pcf2bdf.ii
struct
{
  long id : 1;
} a;
int
main ()
{
  switch (a.id)
  case 0:
  ;
}

markus@x4 tmp % gcc -w -c pcf2bdf.ii
pcf2bdf.ii: In function ‘int main()’:
pcf2bdf.ii:6:1: error: type precision mismatch in switch statement
 main ()
 ^
switch (D.2335) <default: <D.2336>, case 0: <D.2331>>
pcf2bdf.ii:6:1: internal compiler error: verify_gimple failed
0xcec17f verify_gimple_in_seq(gimple_statement_base*)
        ../../gcc/gcc/tree-cfg.c:4737
0xac009c gimplify_body(tree_node*, bool)
        ../../gcc/gcc/gimplify.c:9100
0xac0406 gimplify_function_tree(tree_node*)
        ../../gcc/gcc/gimplify.c:9185
0x90c2b7 cgraph_node::analyze()
        ../../gcc/gcc/cgraphunit.c:633
0x90f36d analyze_functions
        ../../gcc/gcc/cgraphunit.c:1023
0x90fc55 symbol_table::finalize_compilation_unit()
        ../../gcc/gcc/cgraphunit.c:2435
0x6ec4c7 cp_write_global_declarations()
        ../../gcc/gcc/cp/decl2.c:4755
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.


More information about the Gcc-bugs mailing list