Changes between Version 16 and Version 17 of AliasAnalysis


Ignore:
Timestamp:
04/29/16 09:44:39 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AliasAnalysis

    v16 v17  
    2222
    2323    The generalization is an interesting direction, I think, and it would be good to see whether Hal agrees.   The idea here would be that rather then simply performing an alias analysis, instead you perform an alias analysis and compute some additional information on the side so that you when you ask: can p1 and p2 point to the same address?
    24     it can answer:
    25         yes
    26         no
    27         maybe, but then give you a predicate that can be evaluated at run-time to give the definitive answer
     24    it can answer:\\
     25        yes\\
     26        no\\
     27        maybe, but then give you a predicate that can be evaluated at run-time to give the definitive answer\\
    2828
    2929    Note that the yes and no here are sound here.