Skip to content

Commit 9a4c0f9

Browse files
sim642sim642
committed
Promote _goblint_check _Bool casts in loop unrolling tests
1 parent 49c57be commit 9a4c0f9

File tree

9 files changed

+148
-148
lines changed

9 files changed

+148
-148
lines changed

‎tests/regression/55-loop-unrolling/01-simple-cases.t‎

Lines changed: 47 additions & 47 deletions
Original file line numberDiff line numberDiff line change
@@ -98,8 +98,8 @@
9898
}
9999
loop_end: /* CIL Label */ ;
100100
}
101-
__goblint_check(a[0] == 0);
102-
__goblint_check(a[3] == 3);
101+
__goblint_check((_Bool )(a[0] == 0));
102+
__goblint_check((_Bool )(a[3] == 3));
103103
return;
104104
}
105105
}
@@ -154,8 +154,8 @@
154154
}
155155
loop_end: /* CIL Label */ ;
156156
}
157-
__goblint_check(a[0] == 0);
158-
__goblint_check(a[3] == 3);
157+
__goblint_check((_Bool )(a[0] == 0));
158+
__goblint_check((_Bool )(a[3] == 3));
159159
return;
160160
}
161161
}
@@ -210,9 +210,9 @@
210210
}
211211
loop_end: /* CIL Label */ ;
212212
}
213-
__goblint_check(a[0] == 0);
214-
__goblint_check(a[3] == 0);
215-
__goblint_check(a[7] == 0);
213+
__goblint_check((_Bool )(a[0] == 0));
214+
__goblint_check((_Bool )(a[3] == 0));
215+
__goblint_check((_Bool )(a[7] == 0));
216216
return;
217217
}
218218
}
@@ -230,10 +230,10 @@
230230
goto loop_end;
231231
}
232232
if (first_iteration == 1) {
233-
__goblint_check(i == 0);
233+
__goblint_check((_Bool )(i == 0));
234234
} else
235235
if (i > 5) {
236-
__goblint_check(i == 6);
236+
__goblint_check((_Bool )(i == 6));
237237
}
238238
first_iteration = 0;
239239
a[i] = 0;
@@ -243,10 +243,10 @@
243243
goto loop_end;
244244
}
245245
if (first_iteration == 1) {
246-
__goblint_check(i == 0);
246+
__goblint_check((_Bool )(i == 0));
247247
} else
248248
if (i > 5) {
249-
__goblint_check(i == 6);
249+
__goblint_check((_Bool )(i == 6));
250250
}
251251
first_iteration = 0;
252252
a[i] = 0;
@@ -256,10 +256,10 @@
256256
goto loop_end;
257257
}
258258
if (first_iteration == 1) {
259-
__goblint_check(i == 0);
259+
__goblint_check((_Bool )(i == 0));
260260
} else
261261
if (i > 5) {
262-
__goblint_check(i == 6);
262+
__goblint_check((_Bool )(i == 6));
263263
}
264264
first_iteration = 0;
265265
a[i] = 0;
@@ -269,10 +269,10 @@
269269
goto loop_end;
270270
}
271271
if (first_iteration == 1) {
272-
__goblint_check(i == 0);
272+
__goblint_check((_Bool )(i == 0));
273273
} else
274274
if (i > 5) {
275-
__goblint_check(i == 6);
275+
__goblint_check((_Bool )(i == 6));
276276
}
277277
first_iteration = 0;
278278
a[i] = 0;
@@ -282,10 +282,10 @@
282282
goto loop_end;
283283
}
284284
if (first_iteration == 1) {
285-
__goblint_check(i == 0);
285+
__goblint_check((_Bool )(i == 0));
286286
} else
287287
if (i > 5) {
288-
__goblint_check(i == 6);
288+
__goblint_check((_Bool )(i == 6));
289289
}
290290
first_iteration = 0;
291291
a[i] = 0;
@@ -298,10 +298,10 @@
298298
goto while_break;
299299
}
300300
if (first_iteration == 1) {
301-
__goblint_check(i == 0);
301+
__goblint_check((_Bool )(i == 0));
302302
} else
303303
if (i > 5) {
304-
__goblint_check(i == 6);
304+
__goblint_check((_Bool )(i == 6));
305305
}
306306
first_iteration = 0;
307307
a[i] = 0;
@@ -311,8 +311,8 @@
311311
}
312312
loop_end: /* CIL Label */ ;
313313
}
314-
__goblint_check(a[0] == 0);
315-
__goblint_check(first_iteration == 0);
314+
__goblint_check((_Bool )(a[0] == 0));
315+
__goblint_check((_Bool )(first_iteration == 0));
316316
return;
317317
}
318318
}
@@ -332,9 +332,9 @@
332332
a[i] = 0;
333333
top += i;
334334
if (i == 2) {
335-
__goblint_check(top == 3);
335+
__goblint_check((_Bool )(top == 3));
336336
} else {
337-
__goblint_check(top == 3);
337+
__goblint_check((_Bool )(top == 3));
338338
}
339339
i ++;
340340
loop_continue_0: /* CIL Label */ ;
@@ -344,9 +344,9 @@
344344
a[i] = 0;
345345
top += i;
346346
if (i == 2) {
347-
__goblint_check(top == 3);
347+
__goblint_check((_Bool )(top == 3));
348348
} else {
349-
__goblint_check(top == 3);
349+
__goblint_check((_Bool )(top == 3));
350350
}
351351
i ++;
352352
loop_continue_1: /* CIL Label */ ;
@@ -356,9 +356,9 @@
356356
a[i] = 0;
357357
top += i;
358358
if (i == 2) {
359-
__goblint_check(top == 3);
359+
__goblint_check((_Bool )(top == 3));
360360
} else {
361-
__goblint_check(top == 3);
361+
__goblint_check((_Bool )(top == 3));
362362
}
363363
i ++;
364364
loop_continue_2: /* CIL Label */ ;
@@ -368,9 +368,9 @@
368368
a[i] = 0;
369369
top += i;
370370
if (i == 2) {
371-
__goblint_check(top == 3);
371+
__goblint_check((_Bool )(top == 3));
372372
} else {
373-
__goblint_check(top == 3);
373+
__goblint_check((_Bool )(top == 3));
374374
}
375375
i ++;
376376
loop_continue_3: /* CIL Label */ ;
@@ -380,9 +380,9 @@
380380
a[i] = 0;
381381
top += i;
382382
if (i == 2) {
383-
__goblint_check(top == 3);
383+
__goblint_check((_Bool )(top == 3));
384384
} else {
385-
__goblint_check(top == 3);
385+
__goblint_check((_Bool )(top == 3));
386386
}
387387
i ++;
388388
loop_continue_4: /* CIL Label */ ;
@@ -395,19 +395,19 @@
395395
a[i] = 0;
396396
top += i;
397397
if (i == 2) {
398-
__goblint_check(top == 3);
398+
__goblint_check((_Bool )(top == 3));
399399
} else {
400-
__goblint_check(top == 3);
400+
__goblint_check((_Bool )(top == 3));
401401
}
402402
i ++;
403403
}
404404
while_break: /* CIL Label */ ;
405405
}
406406
loop_end: /* CIL Label */ ;
407407
}
408-
__goblint_check(a[0] == 0);
409-
__goblint_check(a[3] == 0);
410-
__goblint_check(top == 6);
408+
__goblint_check((_Bool )(a[0] == 0));
409+
__goblint_check((_Bool )(a[3] == 0));
410+
__goblint_check((_Bool )(top == 6));
411411
return;
412412
}
413413
}
@@ -425,35 +425,35 @@
425425
goto loop_end;
426426
}
427427
a[i] = 0;
428-
__goblint_check(a[0] == 0);
428+
__goblint_check((_Bool )(a[0] == 0));
429429
i ++;
430430
loop_continue_0: /* CIL Label */ ;
431431
if (! (i < 3)) {
432432
goto loop_end;
433433
}
434434
a[i] = 0;
435-
__goblint_check(a[0] == 0);
435+
__goblint_check((_Bool )(a[0] == 0));
436436
i ++;
437437
loop_continue_1: /* CIL Label */ ;
438438
if (! (i < 3)) {
439439
goto loop_end;
440440
}
441441
a[i] = 0;
442-
__goblint_check(a[0] == 0);
442+
__goblint_check((_Bool )(a[0] == 0));
443443
i ++;
444444
loop_continue_2: /* CIL Label */ ;
445445
if (! (i < 3)) {
446446
goto loop_end;
447447
}
448448
a[i] = 0;
449-
__goblint_check(a[0] == 0);
449+
__goblint_check((_Bool )(a[0] == 0));
450450
i ++;
451451
loop_continue_3: /* CIL Label */ ;
452452
if (! (i < 3)) {
453453
goto loop_end;
454454
}
455455
a[i] = 0;
456-
__goblint_check(a[0] == 0);
456+
__goblint_check((_Bool )(a[0] == 0));
457457
i ++;
458458
loop_continue_4: /* CIL Label */ ;
459459
{
@@ -463,16 +463,16 @@
463463
goto while_break;
464464
}
465465
a[i] = 0;
466-
__goblint_check(a[0] == 0);
466+
__goblint_check((_Bool )(a[0] == 0));
467467
i ++;
468468
}
469469
while_break: /* CIL Label */ ;
470470
}
471471
loop_end: /* CIL Label */ ;
472472
}
473-
__goblint_check(a[0] == 0);
474-
__goblint_check(a[3] == 0);
475-
__goblint_check(top == 6);
473+
__goblint_check((_Bool )(a[0] == 0));
474+
__goblint_check((_Bool )(a[3] == 0));
475+
__goblint_check((_Bool )(top == 6));
476476
return;
477477
}
478478
}
@@ -546,8 +546,8 @@
546546
}
547547
loop_end: /* CIL Label */ ;
548548
}
549-
__goblint_check(a[0] == 0);
550-
__goblint_check(a[6] == 0);
549+
__goblint_check((_Bool )(a[0] == 0));
550+
__goblint_check((_Bool )(a[6] == 0));
551551
return;
552552
}
553553
}

‎tests/regression/55-loop-unrolling/02-break.t‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -150,7 +150,7 @@
150150
}
151151
loop_end: /* CIL Label */ ;
152152
}
153-
__goblint_check(r == 17);
153+
__goblint_check((_Bool )(r == 17));
154154
return (0);
155155
}
156156
}

‎tests/regression/55-loop-unrolling/03-break-right-place.t‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -78,7 +78,7 @@
7878
}
7979
loop_end: /* CIL Label */ ;
8080
}
81-
__goblint_check(i == 0);
81+
__goblint_check((_Bool )(i == 0));
8282
return (0);
8383
}
8484
}

‎tests/regression/55-loop-unrolling/04-simple.t‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -59,8 +59,8 @@
5959
}
6060
loop_end: /* CIL Label */ ;
6161
}
62-
__goblint_check(a[0] == 0);
63-
__goblint_check(a[3] == 3);
62+
__goblint_check((_Bool )(a[0] == 0));
63+
__goblint_check((_Bool )(a[3] == 3));
6464
return;
6565
}
6666
}

‎tests/regression/55-loop-unrolling/05-continue.t‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,7 +102,7 @@
102102
}
103103
loop_end: /* CIL Label */ ;
104104
}
105-
__goblint_check(j == 3);
105+
__goblint_check((_Bool )(j == 3));
106106
return;
107107
}
108108
}

0 commit comments

Comments
 (0)