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
|
*** ../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")
|