On Thu, Jun 28, 2018 at 12:46 PM Eric Botcazou <ebotca...@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
