http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49000
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-05-17 10:03:08 UTC --- Not always, it is fine to keep say &a around even when a is no longer addressable - then we emit is as (debug_implicit_ptr a). So, if possible ADDR_EXPR of the var should stay as is, but certainly what can be rewritten should be.
