Ignore:
Timestamp:
Mar 25, 2013, 11:30:01 PM (7 years ago)
Author:
sacerdot
Message:

New extraction. Novely: a pre-main is used in the back-end. Initialization
of global data is performed in LINToASM.

Note: the cost-emission of the initialization costlabel in the front-end is
virtual, but not performed in the traces I generate and print. To be fixed
(how?)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTLptr_semantics.ml

    r2829 r2951  
    259259  { SemanticsUtils.sgp_pars =
    260260    (Joint.gp_to_p__o__stmt_pars__o__uns_pars ERTLptr.eRTLptr);
    261     SemanticsUtils.sgp_sup = (fun _ -> eRTLptr_sem_uns) }
    262 
     261    SemanticsUtils.sgp_sup = (fun _ -> eRTLptr_sem_uns);
     262    SemanticsUtils.graph_pre_main_generator = ERTLptr.eRTLptr_premain }
     263
Note: See TracChangeset for help on using the changeset viewer.