Changeset 1504 for Deliverables/D2.2


Ignore:
Timestamp:
Nov 10, 2011, 3:39:57 PM (8 years ago)
Author:
ayache
Message:

8051 ocaml: bug fix in the labelling of do-whiles.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/clight/clightLabelling.ml

    r818 r1504  
    105105        (Swhile (add_cost_labels_e cost_universe e, s'))
    106106  | Sdowhile (e,s) ->
    107       let s1 = add_cost_labels_st cost_universe s in
    108       let s2 = add_cost_labels_st cost_universe s in
    109       let s2' = add_starting_cost_label cost_universe s2 in
     107      let s = add_cost_labels_st cost_universe s in
     108      let s' = add_starting_cost_label cost_universe s in
    110109      add_ending_cost_label cost_universe
    111         (Ssequence (s1, Swhile (add_cost_labels_e cost_universe e, s2')))
     110        (Sdowhile (add_cost_labels_e cost_universe e, s'))
    112111  | Sfor (s1,e,s2,s3) ->
    113112      let s1' = add_cost_labels_st cost_universe s1 in
Note: See TracChangeset for help on using the changeset viewer.