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/branch.ml

    r1462 r1488  
    8080    | LTL.St_call_id (f, l) ->
    8181      LTL.St_call_id (f, rep l)
    82     | LTL.St_call_ptr (f1, f2, l) ->
    83       LTL.St_call_ptr (f1, f2, rep l)
     82    | LTL.St_call_ptr l ->
     83      LTL.St_call_ptr (rep l)
    8484    | LTL.St_condacc (lbl_true, lbl_false) ->
    8585      LTL.St_condacc (rep lbl_true, rep lbl_false)
Note: See TracChangeset for help on using the changeset viewer.