On 10/26/2012 11:51 AM, Jakub Jelinek wrote:
The debug stmts are already in SSA form, and, being debug stmts, they are
always just consumers of SSA names, not defining stmts, and Alex' patch
is just copying them over from a predecessor bb to a successor bb that
has a single predecessor (the one from which they are copied).
So, all SSA names that are used in debug stmts in the predecessor must
be still valid at the beginning of the successor bb. If the successor
has any debug stmts on its own, they will go after these copied ones
and thus override anything in them if they need to.
OK. I wasn't aware they were strictly SSA_NAME consumers. In that
case, then yes, we're fine.
Patch approved.
jeff
