Displaying 1 result from an estimated 1 matches for "r272040".
2016 Jun 21
2
[GSoC 2016] Better Alias Analysis By Default - Mid Term Summary
...es we can use to help resolve aliasing
queries. With this patch, we can safely rely on CFL-AA to say "noalias"
for a and b in the following code snippet:
char* a = (char*) malloc(len);
char* b = (char*) malloc(len);
... // popluate string a and b here
if (strcmp(a, b) == 0)
...
- [r272040] Improve precision for inttoptr/ptrtoint. If CFL-AA found
this snippet:
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 conserva...