Changes between Version 12 and Version 13 of Hoopl/Cleanup


Ignore:
Timestamp:
Aug 22, 2013 8:17:56 PM (19 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Hoopl/Cleanup

    v12 v13  
    5757   When analysing L1 (backwards) we must join the facts flowing back from L2 
    5858   (which we will have analysed first) and L1; and on the first iteration, we don't  
    59    have any fact from L1. 
     59   have any fact from L1.  You might think we could just use the fact from L2, and  
     60   merely refrain from joining with L1, but that doesn't deal with the case where 
     61   the `CondBranch` was an unconditional branch to L1, so there is no other fact 
     62   to join with. 
    6063 
    61    So for backwards analysis the client really must give us a bottom element. 
     64   Conclusion: for backwards analysis the client really must give us a bottom element. 
    6265 
    6366=== Conclusions ===