From 593ce3f7c5647e284cd2fdc3dd3ed41be9563982 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 7 Sep 2006 15:30:24 +0000
Subject: 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
---
 cil.patch/dataslicing.ml.patch | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 cil.patch/dataslicing.ml.patch

(limited to 'cil.patch/dataslicing.ml.patch')

diff --git a/cil.patch/dataslicing.ml.patch b/cil.patch/dataslicing.ml.patch
new file mode 100644
index 00000000..cebf2e3a
--- /dev/null
+++ b/cil.patch/dataslicing.ml.patch
@@ -0,0 +1,28 @@
+*** ../cil/src/ext/dataslicing.ml	2006-05-21 06:14:15.000000000 +0200
+--- ../cil_patch/src/ext/dataslicing.ml	2006-06-21 11:14:58.866051623 +0200
+***************
+*** 1,3 ****
+--- 1,5 ----
++ (* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. *)
++ 
+  (*
+   *
+   * Copyright (c) 2004, 
+***************
+*** 357,365 ****
+--- 359,373 ----
+    | Return (eo, l) -> sliceReturnExp eo l
+    | Switch (e, b, sl, l) -> Switch (sliceExp 1 e, sliceBlock b,
+                                      List.map sliceStmt sl, l)
++ (*
+    | Loop (b, l, so1, so2) -> Loop (sliceBlock b, l,
+                                     applyOption sliceStmt so1,
+                                     applyOption sliceStmt so2)
++ *)
++   | While (e, b, l) -> While (sliceExp 1 e, sliceBlock b, l)
++   | DoWhile (e, b, l) -> DoWhile (sliceExp 1 e, sliceBlock b, l)
++   | For (bInit, e, bIter, b, l) ->
++ 	For (sliceBlock bInit, sliceExp 1e, sliceBlock bIter, sliceBlock b, l)
+    | Goto _ -> sk
+    | _ -> E.s (unimp "statement")
+  
-- 
cgit