Displaying 1 result from an estimated 1 matches for "r271322".
Did you mean:
r217322
2016 Jun 21
2
[GSoC 2016] Better Alias Analysis By Default - Mid Term Summary
...piled program in any significant way.
In other words, CFL-AA was very conservative at that moment, to the
point that it did not offer much beyond what BasicAA can do.
Fortunately, over the last month the situation has been improved. Here
is a list of precision enhancement I made for CFL-AA:
- [r271322] Remove aliasing relations between GEP pointers and GEP
indices. Before this patch, CFL-AA will claim that a and b may-alias
each other in the following codes:
int a[10], b[10];
a[N] = ...;
b[N] = ...;
This seemingly insane behavior was actually there to safeguard certain
cases where people do...