diff options
Diffstat (limited to 'cil.patch/formatparse.mly.patch')
| -rw-r--r-- | cil.patch/formatparse.mly.patch | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/cil.patch/formatparse.mly.patch b/cil.patch/formatparse.mly.patch new file mode 100644 index 00000000..09e161b9 --- /dev/null +++ b/cil.patch/formatparse.mly.patch @@ -0,0 +1,40 @@ +*** ../cil/src/formatparse.mly 2006-05-21 06:14:15.000000000 +0200 +--- ../cil_patch/src/formatparse.mly 2006-06-20 16:22:57.000000000 +0200 +*************** +*** 1,3 **** +--- 1,5 ---- ++ /* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. */ ++ + /*(* Parser for constructing CIL from format strings *) + (* + * +*************** +*** 1352,1357 **** +--- 1354,1360 ---- + mkCast e !upointType + else e + in ++ (* + mkStmt + (Loop (mkBlock [ mkStmt + (If(e, +*************** +*** 1360,1366 **** + (Break loc) ], + loc)); + $5 mkTemp loc args ], +! loc, None, None))) + } + | instr_list { (fun mkTemp loc args -> + mkStmt (Instr ($1 loc args))) +--- 1363,1372 ---- + (Break loc) ], + loc)); + $5 mkTemp loc args ], +! loc, None, None)) +! *) +! mkStmt +! (While (e, mkBlock [ $5 mkTemp loc args ], loc))) + } + | instr_list { (fun mkTemp loc args -> + mkStmt (Instr ($1 loc args))) |