Re: [RFC] New SSA variable mapping infrastructure

[Alexandre Oliva <aoliva@redhat.com>]

On Nov  9, 2007, "Richard Guenther" <richard.guenther@gmail.com> wrote:

> What our approach basically does is to identify all names that a
> computed value has at any point during program execution.

I.e., you disregard pretty much all information as to where the value
gains each name, and as to where it ceases to have that name.  Do you
have any evidence that this can possibly get you better (not only more
complete, but also more correct) debug information than what we have
now?  The problem of non-concurrent uses being noted in debug info as
concurrent seems particularly serious to me (the mapping of c to both
x and y we debated before).

-- 
Alexandre Oliva         http://www.lsd.ic.unicamp.br/~oliva/
FSF Latin America Board Member         http://www.fsfla.org/
Red Hat Compiler Engineer   aoliva@{redhat.com, gcc.gnu.org}
Free Software Evangelist  oliva@{lsd.ic.unicamp.br, gnu.org}