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
|
*** ../cil/src/ext/usedef.ml 2006-05-21 06:14:15.000000000 +0200
--- ../cil_patch/src/ext/usedef.ml 2006-06-20 17:36:16.000000000 +0200
***************
*** 1,3 ****
--- 1,5 ----
+ (* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. *)
+
open Cil
open Pretty
***************
*** 130,136 ****
--- 132,141 ----
| Return (Some e, _) -> ve e
| If (e, _, _, _) -> ve e
| Break _ | Goto _ | Continue _ -> ()
+ (*
| Loop (_, _, _, _) -> ()
+ *)
+ | While _ | DoWhile _ | For _ -> ()
| Switch (e, _, _, _) -> ve e
| Instr il ->
List.iter (fun i -> ignore (visitCilInstr useDefVisitor i)) il
***************
*** 165,171 ****
--- 170,181 ----
let u'', d'' = handle_block fb in
(VS.union (VS.union u u') u'', VS.union (VS.union d d') d'')
| Break _ | Goto _ | Continue _ -> !varUsed, !varDefs
+ (*
| Loop (b, _, _, _) -> handle_block b
+ *)
+ | While (_, b, _) -> handle_block b
+ | DoWhile (_, b, _) -> handle_block b
+ | For (_, _, _, b, _) -> handle_block b
| Switch (e, b, _, _) ->
let _ = ve e in
let u, d = !varUsed, !varDefs in
|
