[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 gcc-bugzilla@gcc.gnu.org
Tue Mar 8 01:21:00 GMT 2005

------- 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();
f(int s, int *a)
  static int i;
  for (i = 0; i < 800; i++)
    s += a[i];
  return s;

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



More information about the Gcc-bugs mailing list