[Bug tree-optimization/93516] New: [10 regression] ICE in verify_sra_access_forest, at tree-sra.c:2342

[dimhen at gmail dot com]

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

            Bug ID: 93516
           Summary: [10 regression] ICE in verify_sra_access_forest, at
                    tree-sra.c:2342
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dimhen at gmail dot com
  Target Milestone: ---

r10-6309 PASS
r10-6342 FAIL

$ cat x.ii
struct b;
struct c {
  b *operator->();
};
class e {
  void *f;
  int d;

public:
  template <typename a> a g() { return *static_cast<a *>(this); }
};
struct h : e {};
struct b {
  void i(e);
  e j();
};
void m() {
  c k;
  h l = k->j().g<h>();
  k->i(l);
}

$ g++ -fpreprocessed -fchecking=1 -O  -c x.ii
during GIMPLE pass: esra
x.ii: In function 'void m()':
x.ii:21:1: internal compiler error: in verify_sra_access_forest, at
tree-sra.c:2342
   21 | }
      | ^
0x816180 verify_sra_access_forest(access*)
        /home/dimhen/src/gcc_current/gcc/tree-sra.c:2342
0x132d031 verify_all_sra_access_forests()
        /home/dimhen/src/gcc_current/gcc/tree-sra.c:2387
0x13319cf analyze_all_variable_accesses
        /home/dimhen/src/gcc_current/gcc/tree-sra.c:3381
0x1331eff perform_intra_sra
        /home/dimhen/src/gcc_current/gcc/tree-sra.c:4432
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.