Issue 23: Better local alias analysis
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
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
Test case in r175.
Status: Started