https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71693
Bug ID: 71693 Summary: ICE: verify_gimple failed (type mismatch in shift expression, -O0, -O1, -O2, -O3) Product: gcc Version: 5.4.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: niva at niisi dot msk.ru Target Milestone: --- Created attachment 38785 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38785&action=edit The source file to reproduce the problem. The error is reproduced with gcc 5.4.0 (and also with earlier versions: 5.3.1, 4.7.4). Target: x86_64-unknown-linux-gnu Configured with: /home/niva/src/gcc-5.4.0/configure --srcdir=/home/niva/src/gcc-5.4.0 --verbose --enable-checking --enable-languages=c --enable-lto --with-gmp=/usr/local --with-mpfr=/usr/local --with-mpc=/usr/local --with-isl=/usr/local --with-cloog=/usr/local --prefix=/home/niva/local-gcc54 Thread model: posix gcc version 5.4.0 (GCC) The command line is: gcc -O0 -S small.i The compiler output is: small.i: In function ‘init’: small.i:3:5: error: type mismatch in shift expression int init (signed int m_CL) ^ short unsigned int signed short short unsigned int D.1836 = D.1835 r>> 8; small.i:3:5: internal compiler error: verify_gimple failed 0xb475df verify_gimple_in_seq(gimple_statement_base*) /home/niva/src/gcc-5.4.0/gcc/tree-cfg.c:4739 0x9150ec gimplify_body(tree_node*, bool) /home/niva/src/gcc-5.4.0/gcc/gimplify.c:9329 0x915456 gimplify_function_tree(tree_node*) /home/niva/src/gcc-5.4.0/gcc/gimplify.c:9414 0x758117 cgraph_node::analyze() /home/niva/src/gcc-5.4.0/gcc/cgraphunit.c:634 0x75b1ed analyze_functions /home/niva/src/gcc-5.4.0/gcc/cgraphunit.c:1024 0x75bad5 symbol_table::finalize_compilation_unit() /home/niva/src/gcc-5.4.0/gcc/cgraphunit.c:2453 0x600dda c_write_global_declarations() /home/niva/src/gcc-5.4.0/gcc/c/c-decl.c:10857 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.