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/ERTL/ERTLToLTL.ml

    r1585 r1589  
    104104        match Liveness.eliminable (G.liveafter label) stmt with
    105105        | Some successor ->
    106           Printf.printf "dead %s!\n%!" (ERTLPrinter.print_statement stmt);
    107106          LTL.St_skip successor
    108107        | None ->
Note: See TracChangeset for help on using the changeset viewer.