1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
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 ;
|