Changeset 3043 for extracted/liveness.ml


Ignore:
Timestamp:
Mar 29, 2013, 6:38:26 PM (7 years ago)
Author:
sacerdot
Message:

New major extraction that should have solved all remaining issues.
As tests/PROBLEMI shows, we still have some bugs with:

a) initialization of global data (regression)
b) function pointers call

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/liveness.ml

    r3019 r3043  
    196196      | Joint.POP r -> rl_psingleton (Obj.magic r)
    197197      | Joint.PUSH r -> rl_bottom
    198       | Joint.ADDRESS (x, r1, r2) ->
     198      | Joint.ADDRESS (x, x1, r1, r2) ->
    199199        rl_join (rl_psingleton (Obj.magic r1)) (rl_psingleton (Obj.magic r2))
    200200      | Joint.OPACCS (opaccs, dr1, dr2, sr1, sr2) ->
     
    275275      | Joint.POP x -> Obj.magic rl_bottom
    276276      | Joint.PUSH r -> Obj.magic (rl_arg (Obj.magic r))
    277       | Joint.ADDRESS (x, x1, x2) -> Obj.magic rl_bottom
     277      | Joint.ADDRESS (x, x1, x2, x3) -> Obj.magic rl_bottom
    278278      | Joint.OPACCS (opaccs, dr1, dr2, sr1, sr2) ->
    279279        Obj.magic (rl_join (rl_arg (Obj.magic sr1)) (rl_arg (Obj.magic sr2)))
     
    342342      | Joint.POP x -> Bool.False
    343343      | Joint.PUSH x -> Bool.False
    344       | Joint.ADDRESS (x, r1, r2) ->
     344      | Joint.ADDRESS (x, x1, r1, r2) ->
    345345        Bool.notb
    346346          (Bool.orb
Note: See TracChangeset for help on using the changeset viewer.