Changes between Version 5 and Version 6 of AliasAnalysis


Ignore:
Timestamp:
04/22/16 13:39:38 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • AliasAnalysis

    v5 v6  
    8585
    8686  $proc p1 = $spawn f(&y);
    87   *p = 99; //s0: would like to know p!=q here
     87  *p = 99; //s0
    8888  $wait(p1);
    8989}