https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110091

--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #10)
> because we dont have a marker that starts the storage .
> The storage is started when the address is taken or a store happens to it.
> The above ir can happen via unrolling even.

Checkout cfgexpand.cc and add_scope_conflicts* functions for how the part of
GCC that is used for correctness implements that.

Reply via email to