[Bug debug/41616] New: Variables promoted to Gimple registers by aliasing are not getting debug statements.

["hubicka at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

In the following testcase:
inline int f(int *a)
{
  return *a;
}
main()
{
  int b=1;
  return f(&b);
}
We ought to be able to track that value of "b" is 1.  However we do not:
main ()
{
<bb 2>:
  # DEBUG a => &b
  return 1;

}


-- 
           Summary: Variables promoted to Gimple registers by aliasing are
                    not getting debug statements.
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: debug
        AssignedTo: aoliva at gcc dot gnu dot org
        ReportedBy: hubicka at gcc dot gnu dot org
  GCC host triplet: x86_64-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41616