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/astslicer.ml.patch | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 cil.patch/astslicer.ml.patch

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

diff --git a/cil.patch/astslicer.ml.patch b/cil.patch/astslicer.ml.patch
new file mode 100644
index 00000000..e8d01954
--- /dev/null
+++ b/cil.patch/astslicer.ml.patch
@@ -0,0 +1,40 @@
+*** ../cil/src/ext/astslicer.ml	2006-05-21 06:14:15.000000000 +0200
+--- ../cil_patch/src/ext/astslicer.ml	2006-06-20 17:24:22.000000000 +0200
+***************
+*** 1,3 ****
+--- 1,5 ----
++ (* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. *)
++ 
+  (*
+   *
+   * Copyright (c) 2001-2002, 
+***************
+*** 97,103 ****
+--- 99,110 ----
+            Printf.fprintf out ")\n" ; 
+            incr i 
+      | Switch(_,b,_,_) 
++ (*
+      | Loop(b,_,_,_) 
++ *)
++     | While(_,b,_)
++     | DoWhile(_,b,_)
++     | For(_,_,_,b,_)
+      | Block(b) -> 
+            emit base i st_ht s ; 
+            decr i ; 
+***************
+*** 371,377 ****
+--- 378,389 ----
+          doBlock b2 base'' i'' inside ;
+          incr i
+      | Switch(_,b,_,_) 
++ (*
+      | Loop(b,_,_,_) 
++ *)
++     | While(_,b,_)
++     | DoWhile(_,b,_)
++     | For(_,_,_,b,_)
+      | Block(b) -> 
+          let inside = check base i default in 
+          mark ws s inside ;
-- 
cgit