On Nov 8, 2007, Robert Dewar <[EMAIL PROTECTED]> wrote: > Alexandre Oliva wrote:
>>> 1. I don't think we should care much about the ability to >>> *SET* values of variables in optimized code. >> >> Indeed. We should care about correctness of debug information, and >> then this ability will come naturally ;-) > Not really, there are optimizations that will still allow > reading the value of a variable, but not setting it, Indeed. I was thinking implementation-level variables, rather than source-level variables. -- Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/ FSF Latin America Board Member http://www.fsfla.org/ Red Hat Compiler Engineer [EMAIL PROTECTED], gcc.gnu.org} Free Software Evangelist [EMAIL PROTECTED], gnu.org}