https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90348
--- Comment #20 from rguenther at suse dot de <rguenther at suse dot de> --- On January 23, 2020 6:00:02 PM GMT+01:00, "amonakov at gcc dot gnu.org" <gcc-bugzi...@gcc.gnu.org> wrote: >https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90348 > >--- Comment #19 from Alexander Monakov <amonakov at gcc dot gnu.org> >--- >(In reply to Michael Matz from comment #18) >> represent all accesses indirectly via pointers > >Would that be necessary in presence of a verifier that ensures that all >references are dominated by births? No, but it would automatically ensure this via the dependence.
