Changeset 3043 for extracted/uses.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/uses.ml

    r3019 r3043  
    165165          | Joint.POP r -> Obj.magic incr r map
    166166          | Joint.PUSH r -> Obj.magic incr_arg r map
    167           | Joint.ADDRESS (x1, x3, x4) -> map
     167          | Joint.ADDRESS (x1, x3, x4, x5) -> map
    168168          | Joint.OPACCS (x1, r1, r2, r3, r4) ->
    169169            Obj.magic incr r1
Note: See TracChangeset for help on using the changeset viewer.