------- Comment #5 from jakub at gcc dot gnu dot org 2010-03-20 15:33 ------- That hoisting/sinking is usually marked with that BLOCK from which it has been sunk or hoisted. And even if not, no debug info consumer I'm aware of will tell you anything about the variables that are not in the scope of the current instructions. It will simply tell you the variable doesn't exist, or, if there is a variable with different name in outer or global scope, that variable.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43442