[Bug rtl-optimization/20367] alias analysis doesn't take into account that variables that haven't their address taken can't alias arbitrary MEMs

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-08 
01:21 -------
The testcase given above is already optimizated on the mainline via some of the 
aliasing code on the 
tree level but still needs to be more, witness 19905 or even the following 
testcase which is basically 
19905 still:
void g();
int
f(int s, int *a)
{
  static int i;
  for (i = 0; i < 800; i++)
  {
    g();
    s += a[i];
  }
  return s;
}

But all of this needs to be on the tree level to be really effective.

-- 


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