------- Comment #1 from hubicka at ucw dot cz 2009-10-07 11:26 -------
Subject: Re: New: Variables promoted to Gimple registers by aliasing are not
getting debug statements.
> We ought to be able to track that value of "b" is 1. However we do not:
> main ()
> {
> <bb 2>:
> # DEBUG a => &b
Note that Richi was mentioning that &b is invalid given that b is
register. I think it is OK - the ADDR_EXPRs in DEBUG statements does
not count as dereferences.
However we sould be able to track here a => &1 and at dwarf2out time try
to look up 1 in constant pool if there. For integer constants this is
unlikely going to win, but for i.e. string constants this is quite
common case we might get better debug info. The tree expansion facility
now has neccesary code to do that, I can put it into RTL expansion too.
Honza
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41616
