Changeset 1392 for Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightFold.ml

Timestamp:

Oct 17, 2011, 2:08:27 PM (9 years ago)

Author:

tranquil

Message:

fiddling with Cminor: elimination of loops, blocks and exits

File:

• Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightFold.ml (modified) (1 diff)

Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightFold.ml

@@ -170 +170 @@
   let sub_stmts_res = List.map (statement2 f_expr f_statement) sub_stmts in
   f_statement stmt sub_exprs_res sub_stmts_res
+