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

1 files changed, 40 insertions, 0 deletions

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 ;