https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
Bug ID: 80297 Summary: Compiler time crash: type mismatch in binary expression Product: gcc Version: 7.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: regression Assignee: unassigned at gcc dot gnu.org Reporter: babokin at gmail dot com Target Milestone: --- Top of the tree gcc crashes when compiler the following test case. Gcc 4.8 works well. > cat f.cpp extern const unsigned long int var_14; extern const long long int var_15; void foo() { if (0) int a = 809 >> -(var_14 & !var_15) + var_14 - (long long)(var_14 & !var_15); } > g++ -std=c++11 -w -O0 -c f.cpp f.cpp: In function ‘void foo()’: f.cpp:3:6: error: type mismatch in binary expression void foo() { ^~~ unsigned int unsigned int bool _8 = _6 - _7; f.cpp:3:6: internal compiler error: verify_gimple failed 0xdae8dd verify_gimple_in_seq(gimple*) ../../gcc/gcc/tree-cfg.c:4934 0xafe1cd gimplify_body(tree_node*, bool) ../../gcc/gcc/gimplify.c:12500 0xafe534 gimplify_function_tree(tree_node*) ../../gcc/gcc/gimplify.c:12590 0x96e90f cgraph_node::analyze() ../../gcc/gcc/cgraphunit.c:657 0x9718f9 analyze_functions ../../gcc/gcc/cgraphunit.c:1118 0x9729b2 symbol_table::finalize_compilation_unit() ../../gcc/gcc/cgraphunit.c:2603 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.