[Bug middle-end/120238] New: [15/16 Regression] ICE (verify_gimple failed)

[doko at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 120238
           Summary: [15/16 Regression] ICE (verify_gimple failed)
           Product: gcc
           Version: 15.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org
  Target Milestone: ---

[forwarded from https://bugs.debian.org/1104902]

seen with the gcc-15 branch 20250504 and trunk 20250512:

$ cat bug.cc
int f ()
{ extern const int e;
  static const int *const l[] = {&e, 0};
  return *l && **l;
}
(sid-amd64)doko@p1:/home/packages/gcc/snap/gcc-snapshot-20250512$
/usr/lib/gcc-snapshot/bin/g++ -c bug.cc
bug.cc: In function 'int f()':
bug.cc:1:5: error: address taken but 'TREE_ADDRESSABLE' bit not set
    1 | int f ()
      |     ^
_1 = &e;
bug.cc:1:5: error: address taken but 'TREE_ADDRESSABLE' bit not set
_2 = &e;
bug.cc:1:5: internal compiler error: 'verify_gimple' failed
0x31d44cf internal_error(char const*, ...)
        ../../src/gcc/diagnostic-global-context.cc:517
0x1a180aa verify_gimple_in_seq(gimple*, bool)
        ../../src/gcc/tree-cfg.cc:5345
0x165518a gimplify_body(tree_node*, bool)
        ../../src/gcc/gimplify.cc:20916
0x16553c5 gimplify_function_tree(tree_node*)
        ../../src/gcc/gimplify.cc:21042
0x14483c7 cgraph_node::analyze()
        ../../src/gcc/cgraphunit.cc:689
0x144b027 analyze_functions
        ../../src/gcc/cgraphunit.cc:1265
0x144bfad symbol_table::finalize_compilation_unit()
        ../../src/gcc/cgraphunit.cc:2574
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.