Ok. Tail/head merging optimization also happens after PRE. Though it happens before asan instrumentation, in theory it can trigger similar bogus loc problem, but less likely.
David On Wed, Dec 5, 2012 at 8:35 AM, Jakub Jelinek <ja...@redhat.com> wrote: > On Wed, Dec 05, 2012 at 08:24:59AM -0800, Xinliang David Li wrote: >> Can the report builtins be marked with certain attribute such as >> 'no-return' etc? > > They are marked as noreturn obviously (and leaf, nothrow etc.). > But noreturn isn't attribute that prevents cross-jumping. It is fine > to cross-jump noreturn calls. > On IRC Richard agreed that for 4.8 we can do this cfgcleanup.c hack > (perhaps also in tree-ssa-tail-merge.c if we ever manage to get it to > do tail merging of these), and for 4.9 go with a new attribute. > > Jakub
