source: tests/raii/dtor-early-exit.c@ 0982a05

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr no_list persistent-indexer pthread-emulation qualifiedEnum
Last change on this file since 0982a05 was 5a5d31a, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Missed fixing some library includes in last merge
  • Property mode set to 100644
File size: 5.5 KB
RevLine 
[32b8144]1//
[5ead9f9]2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
[32b8144]6//
7// dtor-early-exit.c --
8//
[5ead9f9]9// Author : Rob Schluntz
10// Created On : Wed Aug 17 08:26:25 2016
11// Last Modified By : Peter A. Buhr
[e765794]12// Last Modified On : Sat Aug 11 07:58:39 2018
13// Update Count : 8
[32b8144]14//
[5ead9f9]15
[5a5d31a]16#include <fstream.hfa>
17#include <stdlib.hfa>
[e765794]18#include <assert.h>
[85f0713]19
20struct A {
[cdbfab0]21 const char * name;
[85f0713]22 int * x;
23};
24
25// don't want these called
[2afec66]26void ?{}(A & a) { assert( false ); }
27void ?{}(A & a, const char * name) { a.name = name; sout | "construct " | name | endl; a.x = (int*)malloc(); }
28void ?{}(A & a, const char * name, int * ptr) { assert( false ); }
[85f0713]29
[2afec66]30A ?=?(A & a, A b) { sout | "assign " | a.name | " " | b.name; return a; }
31void ?{}(A & a, A b) { sout | "copy construct " | b.name | endl; a.x = (int*)malloc(); }
32void ^?{}(A & a) { sout | "destruct " | a.name | endl; free(a.x); }
[85f0713]33
34// test returns
35void f(int i) {
36 sout | "f i=" | i | endl;
37 A x = { "x" }; // construct x
38 {
39 A y = { "y" }; // construct y
40 {
41 A z = { "z" }; // construct z
42 {
43 if (i == 0) return; // destruct x, y, z
44 }
45 if (i == 1) return; // destruct x, y, z
46 // destruct z
47 }
48 if (i == 2) return; // destruct x, y
49 // destruct y
50 }
51 return; // destruct x
52}
53
54// test loops, switch, etc.
55void g() {
56 for (int i = 0; i < 10; i++) {
57 sout | "g for i=" | i | endl;
58 A x = { "x" };
59 // construct x
60 // destruct x
61 }
62 sout | endl;
63 {
64 int i = 0;
65 while (i < 10) {
66 sout | "g while i=" | i | endl;
67 A x = { "x" };
68 // construct x
69 i++;
70 // destruct x
71 }
72 }
73 sout | endl;
74 for (int i = 0; i < 10; i++) {
75 switch(10) {
76 case 0:
77 case 5:
78 case 10: {
79 A y = { "y" };
80 sout | "g switch i=" | i | endl;
81 // construct y
82 break; // destruct y
83 }
84 default: {
85 sout | "g switch i=" | i | endl;
86 A x = { "x" };
87 // construct x
88 break; // destruct x
89 }
90 }
91 }
92 sout | endl;
93 for (int k = 0; k < 2; k++) {
94 sout | "g for k=" | k | endl;
95 L1: for (int i = 0; i < 10; i++) {
96 sout | "g for i=" | i | endl;
97
98 A x = { "x" };
99 if (i == 2) {
100 sout | "continue L1" | endl;
101 continue; // destruct x
102 } else if (i == 3) {
103 sout | "break L1" | endl;
104 break; // destruct x
105 }
106
107 L2: for (int j = 0; j < 10; j++) {
108 sout | "g for j=" | j | endl;
109 A y = { "y" };
110 if (j == 0) {
111 sout | "continue L2" | endl;
112 continue; // destruct y - missing because object that needs to be destructed is not a part of this block, it's a part of the for's block
113 } else if (j == 1) {
114 sout | "break L2" | endl;
115 break; // destruct y
116 } else if (i == 1) {
117 sout | "continue L1" | endl;
118 continue L1; // destruct x,y - note: continue takes you to destructors for block, so only generate destructor for y
119 } else if (k == 1) {
120 sout | "break L1" | endl;
121 break L1; // destruct x,y
122 }
123 }
124 }
125 }
[540b275]126
127 sout | endl;
128 L3: if( 3 ) {
129 A w = { "w" };
130 if( 4 ) {
131 A v = { "v" };
132 sout | "break L3" | endl;
133 break L3;
134 }
135 }
[85f0713]136}
137
138// test goto
139void h() {
140 int i = 0;
141 // for each goto G with target label L:
142 // * find all constructed variables alive at G (set S_G)
143 // * find all constructed variables alive at L (set S_L)
144 // * if S_L-S_G is non-empty, error
145 // * emit destructors for all variables in S_G-S_L
146 sout | "h" | endl;
147 {
148 L0: ;
149#ifdef ERR1
150 goto L1; // this is an error in g++ because it skips initialization of y
151#endif
152 A y = { "y" };
153 // S_L1 = { y }
154 L1: sout | "L1" | endl;
155 A x = { "x" };
156 // S_L2 = { y, x }
157 L2: sout | "L2" | endl;
158 if (i == 0) {
159 ++i;
160 sout | "goto L1" | endl;
161 // S_G = { y, x }
162 goto L1; // jump back, destruct b/c before x definition
163 // S_L-S_G = {} => no error
164 // S_G-S_L = { x } => destruct x
165 } else if (i == 1) {
166 ++i;
167 sout | "goto L2" | endl;
168 // S_G = { y, x }
169 goto L2; // jump back, do not destruct
170 // S_L-S_G = {}
171 // S_G-S_L = {} => destruct nothing
172 } else if (i == 2) {
173 ++i;
174 sout | "goto L3" | endl;
175 // S_G = { y, x }
176 goto L3; // jump ahead, do not destruct
177 // S_L-S_G = {}
178 // S_G-S_L = {}
179 } else if (false) {
180 ++i;
181 A z = { "z" };
182 sout | "goto L3-2" | endl;
183 // S_G = { z, y, x }
184 goto L3;
185 // S_L-S_G = {}
186 // S_G-S_L = {z} => destruct z
187 } else {
188 ++i;
189 sout | "goto L4" | endl;
190 // S_G = { y, x }
191 goto L4; // jump ahead, destruct b/c left block x was defined in
192 // S_L-S_G = {}
193 // S_G-S_L = { y, x } => destruct y, x
194 }
195 // S_L3 = { y, x }
196 L3: sout | "L3" | endl;
197 sout | "goto L2-2" | endl;
198 // S_G = { y, x }
199 goto L2; // jump back, do not destruct
200 // S_L-S_G = {}
201 // S_G-S_L = {}
202 }
203 // S_L4 = {}
204 L4: sout | "L4" | endl;
205 if (i == 4) {
206 sout | "goto L0" | endl;
207 // S_G = {}
208 goto L0;
209 // S_L-S_G = {}
210 // S_G-S_L = {}
211 }
212#ifdef ERR2
[32b8144]213 // S_G = {}
[85f0713]214 if (i == 5) goto L2; // this is an error in g++ because it skips initialization of y, x
215 // S_L-S_G = { y, x } => non-empty, so error
216#endif
217}
218
[5809461]219// TODO: implement __label__ and uncomment these lines
220void computedGoto() {
221 // __label__ bar;
222 void *ptr;
223 ptr = &&foo;
224 goto *ptr;
225 assert(false);
226foo: ;
227// void f() {
228// ptr = &&bar;
229// goto *ptr;
230// assert(false);
231// }
232// f();
233// assert(false);
234// bar: ;
235}
236
[85f0713]237int main() {
238 sepDisable(sout);
239 for (int i = 0; i < 4; i++) {
240 f(i);
241 }
242 sout | endl;
243 g();
244 sout | endl;
245 h();
[5809461]246
247 computedGoto();
[85f0713]248}
[5ead9f9]249
250// Local Variables: //
251// tab-width: 4 //
252// compile-command: "cfa dtor-early-exit" //
253// End: //
Note: See TracBrowser for help on using the repository browser.