This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug rtl-optimization/20367] alias analysis doesn't take into account that variables that haven't their address taken can't alias arbitrary MEMs
- From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 8 Mar 2005 01:21:03 -0000
- Subject: [Bug rtl-optimization/20367] alias analysis doesn't take into account that variables that haven't their address taken can't alias arbitrary MEMs
- References: <20050307194707.20367.amylaar@gcc.gnu.org>
- Reply-to: gcc-bugzilla 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