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/formatparse.mly 2006-05-21 06:14:15.000000000 +0200
--- ../cil_patch/src/formatparse.mly 2006-06-20 16:22:57.000000000 +0200
***************
*** 1,3 ****
--- 1,5 ----
+ /* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. */
+
/*(* Parser for constructing CIL from format strings *)
(*
*
***************
*** 1352,1357 ****
--- 1354,1360 ----
mkCast e !upointType
else e
in
+ (*
mkStmt
(Loop (mkBlock [ mkStmt
(If(e,
***************
*** 1360,1366 ****
(Break loc) ],
loc));
$5 mkTemp loc args ],
! loc, None, None)))
}
| instr_list { (fun mkTemp loc args ->
mkStmt (Instr ($1 loc args)))
--- 1363,1372 ----
(Break loc) ],
loc));
$5 mkTemp loc args ],
! loc, None, None))
! *)
! mkStmt
! (While (e, mkBlock [ $5 mkTemp loc args ], loc)))
}
| instr_list { (fun mkTemp loc args ->
mkStmt (Instr ($1 loc args)))
|
