Ignore:
Timestamp:
Oct 7, 2011, 5:47:39 PM (9 years ago)
Author:
tranquil
Message:
  • bug in ClightUtilities?.find_max_depth_lbld fixed
  • single-entry loop detection completed
  • work on Clight completed
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightUtils.ml

    r1319 r1328  
    8080        match stmt with
    8181          | Clight.Swhile (Some x, _, _) | Clight.Sdowhile (Some x, _, _)
    82           | Clight.Sfor (Some x, _, _, _, _) -> max x curr_max (* = curr_max+1 ? *)
    83             | _ -> curr_max in
     82          | Clight.Sfor (Some x, _, _, _, _) -> max (x+1) curr_max
     83          | _ -> curr_max in
    8484  ClightFold.statement2 f_expr f_stmt
Note: See TracChangeset for help on using the changeset viewer.