This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Remap goto_locus on edges during inlining
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: Jeff Law <law at redhat dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 28 Jun 2018 13:27:53 +0200
- Subject: Re: [patch] Remap goto_locus on edges during inlining
- References: <1959532.xT2u3vGzl1@polaris> <3cdfbd47-00b4-299f-4e5a-afceed78190f@redhat.com> <CAFiYyc3VeM0_nbX12Rn90tntcY8m_hi7=irtWhPuAL+_ugSgPA@mail.gmail.com> <2328522.eABu4KBiuS@polaris>
On Thu, Jun 28, 2018 at 12:46 PM Eric Botcazou <ebotcazou@adacore.com> wrote:
>
> > Related we're also missing to verify_location () on those in
> > verify_gimple_in_cfg. Having stale references to GCed BLOCKs
> > via locations can be difficult to track down...
> >
> > So can you add the verification bits as well?
>
> Like this?
Yes, OK if it (hopefully!) passes testing.
Richard.
>
> * tree-cfg.c (verify_gimple_in_cfg): Call verify_location on the
> goto_locus of each outgoing edge of each basic block.
>
> --
> Eric Botcazou