[Bug c++/88613] New: [9 Regression] ICE in size_binop_loc at fold-const.c:1900 since r267272

[marxin at gcc dot gnu.org]

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

            Bug ID: 88613
           Summary: [9 Regression] ICE in size_binop_loc at
                    fold-const.c:1900 since r267272
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: dmalcolm at gcc dot gnu.org
  Target Milestone: ---

Starting from the revision I see:

$ cat ice.ii
void a() {
  const int b = 5;
  [=] {
    if (b != 5)
      ;
  }();
}

$ g++ -Werror -fmax-errors=1 ice.ii -Wtautological-compare -c
ice.ii: In lambda function:
ice.ii:4:11: internal compiler error: Segmentation fault
    4 |     if (b != 5)
      |         ~~^~~~
0xf30cdf crash_signal
        /home/marxin/Programming/gcc/gcc/toplev.c:326
0x7ffff6bc310f ???
       
/usr/src/debug/glibc-2.27-6.1.x86_64/signal/../sysdeps/unix/sysv/linux/x86_64/sigaction.c:0
0xc55b68 contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
        /home/marxin/Programming/gcc/gcc/tree.h:3289
0xc55b68 size_binop_loc(unsigned int, tree_code, tree_node*, tree_node*)
        /home/marxin/Programming/gcc/gcc/fold-const.c:1900
0xcd21fc gimplify_compound_lval
        /home/marxin/Programming/gcc/gcc/gimplify.c:2945
0xcc5f26 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /home/marxin/Programming/gcc/gcc/gimplify.c:12354
0xcc5e8f gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /home/marxin/Programming/gcc/gcc/gimplify.c:13133
0xcd255c gimplify_cond_expr
        /home/marxin/Programming/gcc/gcc/gimplify.c:4067
0xcc80c2 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /home/marxin/Programming/gcc/gcc/gimplify.c:12359
0xccebb6 gimplify_stmt(tree_node**, gimple**)
        /home/marxin/Programming/gcc/gcc/gimplify.c:6685
0xcc7b53 gimplify_statement_list
        /home/marxin/Programming/gcc/gcc/gimplify.c:1788
0xcc7b53 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /home/marxin/Programming/gcc/gcc/gimplify.c:12831
0xccebb6 gimplify_stmt(tree_node**, gimple**)
        /home/marxin/Programming/gcc/gcc/gimplify.c:6685
0xccf8fc gimplify_bind_expr
        /home/marxin/Programming/gcc/gcc/gimplify.c:1356
0xcc6e34 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /home/marxin/Programming/gcc/gcc/gimplify.c:12603
0xccebb6 gimplify_stmt(tree_node**, gimple**)
        /home/marxin/Programming/gcc/gcc/gimplify.c:6685
0xcd053f gimplify_body(tree_node*, bool)
        /home/marxin/Programming/gcc/gcc/gimplify.c:13611
0xcd0994 gimplify_function_tree(tree_node*)
        /home/marxin/Programming/gcc/gcc/gimplify.c:13755
0xb406c7 cgraph_node::analyze()
        /home/marxin/Programming/gcc/gcc/cgraphunit.c:667
0xb43253 analyze_functions
        /home/marxin/Programming/gcc/gcc/cgraphunit.c:1126