Displaying 1 result from an estimated 1 matches for "r273229".
Did you mean:
r273219
2016 Jun 21
2
[GSoC 2016] Better Alias Analysis By Default - Mid Term Summary
...int a, b, *p = &a, *q = &b;
int c= (int)p + (int)q;
It used to report may-alias for p and q, just because both of them are
casted to integers. This was later relaxed in a way that pointers are
only treated conservatively when you cast it back from integers.
- [r272335, r272690, r273219, r273229] Improvement on inter-procedural
analysis. This is the one single feature of CFL-AA that enables it to
really offer something that BasicAA doesn't. The work is still ongoing,
but the central idea here is that we can make CFL-AA look past function
calls and yield almost the same result as if...