Changes between Version 9 and Version 10 of AliasAnalysis


Ignore:
Timestamp:
04/22/16 15:28:53 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AliasAnalysis

    v9 v10  
    9999`OR(q, s1)={x,y}`
    100100
    101 `O(q, s2)={y}`//maybe this should be `{}` because the value of `q` is going to be changed and s1 can never do anything to the memory unit pointed to by `q`.//\\
     101`O(q, s2)={y}`//maybe this should be `{}` because the value of `q` is going to be changed and s2 never access the memory unit pointed to by `q`.//\\
    102102`OR(q, s2)={x, y}`//maybe this should be `{x}`//
    103103