Ignore:
Timestamp:
Dec 6, 2011, 5:04:13 PM (9 years ago)
Author:
tranquil
Message:
  • turned to argument-less return statements for RTLabs and RTL (there was a hidden invariant, for which the arguments of return statements where equal to the f_result field of the function definition: they were useless and an optimization was breaking the compilation)
  • corrected a bug in liveness analysis I had introduced
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/RTLabs/constPropagation.ml

    r1580 r1589  
    332332        | L.V _ | L.A _ -> ([], Some [if_true])
    333333        | _ -> ([s], Some [if_true ; if_false]))
    334     | St_return (Some a) ->
    335       ([St_return (Some (arg_from_arg (valu p) types a))], None)
    336334    | St_call_id (f, args, ret, sg, l) ->
    337335      ([St_call_id (f, args_from_args (valu p) types args, ret, sg, l)], None)
Note: See TracChangeset for help on using the changeset viewer.