Changes between Version 5 and Version 6 of AliasAnalysis

Timestamp:

04/22/16 13:39:38 (10 years ago)

Author:

zmanchun

Comment:

--

AliasAnalysis

@@ -85 +85 @@
 
   $proc p1 = $spawn f(&y);
-  *p = 99; //s0: would like to know p!=q here
+  *p = 99; //s0
   $wait(p1);
 }