https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81040
Martin Liška <marxin at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2017-06-12 Assignee|unassigned at gcc dot gnu.org |marxin at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > Likely instrumentation simply is missing > > goo((int*)&a); > > given 'a' lives on the stack. With static foo and IPA CP applied it > eventually > sees a address-taken constant pool reference. Yes, with -O2 and static function, const prop creates clone of foo, where variable 'a' lives on stack. Write in goo is checked, but it points to a valid shadow memory (stack). I'm investigating more.