[Bug debug/23551] dwarf records for inlines appear incomplete

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

------- Comment #14 from pinskia at gcc dot gnu dot org  2007-03-30 22:04 -------
(In reply to comment #13)
> If aoliva is correct in comment# 11, then some information is being lost
> that could be retained with some additional effort.  That would make this
> bug other than invalid - at best a wontfix.

Lets look at this again. A simplified testcase without inlining:
int main ()
{
  int x1 = 3;
  {
  int x = x1;
  int i = 0;
  for (i = 0; i < x; ++i)
    x += i;
  return x;
  }
}

This is basically the same as case 1 (though a constant instead of a call to
rand()), now do we want not to prop x1 into x?  I say we always do want that
because otherwise we get an extra assignment.  Plus this issue is not a
regression at all because the RTL level does the same.


-- 


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