On Thu, Dec 3, 2020 at 8:13 PM Eric Botcazou <botca...@adacore.com> wrote: > > Hi, > > this is a regression present on the mainline and 10 branch: on the one hand, > IPA-SRA does *not* disqualify accesses with zero size but, on the other hand, > it checks that accesses present in the tree have a (strictly) positive size, > thus trivially yielding an ICE, for example on the attached Ada testcase. > > The attached fix relaxes the check, OK for mainline and 10 branch?
OK. Thanks, Richard. > > 2020-12-03 Eric Botcazou <ebotca...@adacore.com> > > * ipa-sra.c (verify_access_tree_1): Relax assertion on the size. > > > 2020-12-03 Eric Botcazou <ebotca...@adacore.com> > > * gnat.dg/opt91.ad[sb]: New test. > * gnat.dg/opt91_pkg.ad[sb]: New helper. > > -- > Eric Botcazou