Ignore:
Timestamp:
Nov 4, 2011, 12:22:17 PM (8 years ago)
Author:
ayache
Message:

Function pointers in D2.2/8051. Bugged for now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml

    r1462 r1488  
    304304      interpret_call lbls_offs st (Mem.find_global st.mem f) lbl
    305305
    306     | LTL.St_call_ptr (f1, f2, lbl) ->
    307       let addr = List.map (fun r -> get_reg r st) [f1 ; f2] in
    308       interpret_call lbls_offs st addr lbl
     306    | LTL.St_call_ptr lbl ->
     307      interpret_call lbls_offs st (dptr st) lbl
    309308
    310309    | LTL.St_condacc (lbl_true, lbl_false) ->
Note: See TracChangeset for help on using the changeset viewer.