| Issue 23: | Better local alias analysis | |
| 1 person starred this issue and may be notified of changes. | Back to list |
Alias analysis doesn't treat the following situation very well: T x; if(*) x = new T(); else x = new T(); After the join, x points to multiple locations, which leads to imprecisions after the next operation on x. Should recognize that the two locations alpha-convert.
Dec 2, 2008
Project Member
#1
kevin.bi...@gmail.com
Status:
Started
|