[Bug middle-end/86308] New: [7/8/9 Regression] verify_gimple failed in tree-cfg.c

["ktkachov at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 86308
           Summary: [7/8/9 Regression] verify_gimple failed in tree-cfg.c
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ktkachov at gcc dot gnu.org
  Target Milestone: ---
            Target: arm-none-eabi

The testcase:

int index (int, int);

void foo(const short *input)
{
    short a0 = input[index(0, 0)];
}

causes an ICE on arm-none-eabi (couldn't reproduce it with aarch64, but it
looks generic):

index.c: In function 'foo':
index.c:3:6: error: type mismatch in pointer plus expression
 void foo(const short *input)
      ^~~
int

int

unsigned int

_1 = 0 + D.4143;
index.c:3:6: internal compiler error: verify_gimple failed
0xc30336 verify_gimple_in_seq(gimple*)
        $SRC/gcc/tree-cfg.c:5085
0x93477a gimplify_body(tree_node*, bool)
        $SRC/gcc/gimplify.c:12646
0x935021 gimplify_function_tree(tree_node*)
        $SRC/gcc/gimplify.c:12736
0x76d77f cgraph_node::analyze()
        $SRC/gcc/cgraphunit.c:669
0x7700b0 analyze_functions
        $SRC/gcc/cgraphunit.c:1123
0x771430 symbol_table::finalize_compilation_unit()
        $SRC/gcc/cgraphunit.c:2673
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.

Changing "index" to something else, say "fooindex" makes the ICE go away