Changeset 3008


Ignore:
Timestamp:
Mar 28, 2013, 3:07:24 PM (4 years ago)
Author:
tranquil
Message:

corrected bug where the address of pointer calls was not defined as used

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTLptr/liveness.ma

    r2949 r3008  
    148148      ]
    149149    | COST_LABEL clabel ⇒ rl_bottom
    150     | CALL _ nparams _ ⇒ 〈set_empty …, set_from_list … (prefix ? nparams RegisterParams)〉
     150    | CALL f nparams _ ⇒
     151      rl_join (match f with
     152      [ inl _ ⇒ rl_bottom
     153      | inr pr ⇒ rl_join (rl_arg (\fst pr)) (rl_arg (\snd pr))
     154      ]) 〈set_empty …, set_from_list … (prefix ? nparams RegisterParams)〉
    151155    | COND r lbl_true ⇒ rl_psingleton r
    152156    ]
Note: See TracChangeset for help on using the changeset viewer.