[Bug regression/80297] New: Compiler time crash: type mismatch in binary expression

["babokin at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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.