diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-07 15:30:24 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-07 15:30:24 +0000 |
| commit | 593ce3f7c5647e284cd2fdc3dd3ed41be9563982 (patch) | |
| tree | 6ec1df325b89bb0c320023861118549deb9a9e71 /cil.patch/formatparse.mly.patch | |
| parent | fa7415be2fe9b240374f0a51c1cd4a9de5376c5a (diff) | |
| download | compcert-593ce3f7c5647e284cd2fdc3dd3ed41be9563982.tar.gz compcert-593ce3f7c5647e284cd2fdc3dd3ed41be9563982.zip | |
Integration du front-end CIL developpe par Thomas Moniot
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@84 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
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))) |