Changes between Version 10 and Version 11 of AliasAnalysis


Ignore:
Timestamp:
04/25/16 17:40:22 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AliasAnalysis

    v10 v11  
    110110
    111111case 2: `S=(p0:s0, p1:s1)`, then `{p1} \in AMP(S)` but not `{p0}`.
     112The current referenced object of `p1` at `L(s1)` is `y` and `y` can never be aliased by `p0`.
     113
     114case 3: `S=(p0:s0, p1:s2)`, then `{p1} \in AMP(S)` but not `{p0}`.
     115
     116case 4: `S=(p0:s0, p1:s3)`, then `{p0, p1} \in AMP(S)`.
    112117
    113118
    114119
     120
     121