From 0f047e66ede839178216544404e482d1376f787b Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 30 Mar 2020 08:08:20 +0200
Subject: [PATCH] [tests] fixes buggy tests
---
tests/cil/ghost_cfg.c | 4 ++--
tests/syntax/ghost_lexing.i | 2 +-
tests/syntax/unroll_labels.i | 6 +++---
tests/value/loop_array.i | 2 +-
tests/value/loop_join.i | 2 +-
5 files changed, 8 insertions(+), 8 deletions(-)
diff --git a/tests/cil/ghost_cfg.c b/tests/cil/ghost_cfg.c
index c65e13840a6..15c916efa38 100644
--- a/tests/cil/ghost_cfg.c
+++ b/tests/cil/ghost_cfg.c
@@ -89,7 +89,7 @@ int ghost_goto_ghost(){
//@ ghost goto X ; // reaches return without executing "x = 2"
x = 2;
- //@ ghost X:
+ //@ ghost X:;
return 0;
}
@@ -154,7 +154,7 @@ int main(){
int x = 4 ;
- //@ ghost X:
+ //@ ghost X:;
x = 2 ;
}
diff --git a/tests/syntax/ghost_lexing.i b/tests/syntax/ghost_lexing.i
index b2a74f89f75..03dc066c147 100644
--- a/tests/syntax/ghost_lexing.i
+++ b/tests/syntax/ghost_lexing.i
@@ -16,7 +16,7 @@ void test2(int x) {
}
void f() {
- /*@ ghost L: */ G++;
+ /*@ ghost L:; */ G++;
/*@ assert \at(G,L) + 1 == G; */
L1: /*@ ghost H=G; */ G++;
if (G < 30) goto L1;
diff --git a/tests/syntax/unroll_labels.i b/tests/syntax/unroll_labels.i
index 4807505a700..4ccad645f15 100644
--- a/tests/syntax/unroll_labels.i
+++ b/tests/syntax/unroll_labels.i
@@ -62,7 +62,7 @@ void main2 () {
i += 1;
goto foo;
i += 1;
- foo:
+ foo:;
}
}
}
@@ -76,7 +76,7 @@ void main2_done () {
i += 1;
goto foo;
i += 1;
- foo:
+ foo:;
}
}
}
@@ -99,7 +99,7 @@ void main3 (int c) {
foo:
i += 1;
}
- up:
+ up:;
}
}
diff --git a/tests/value/loop_array.i b/tests/value/loop_array.i
index 9a279023fb6..5d644af2bb6 100644
--- a/tests/value/loop_array.i
+++ b/tests/value/loop_array.i
@@ -19,5 +19,5 @@ void main () {
if (i == 400)
goto l_end_loop;
}
- l_end_loop:
+ l_end_loop:;
}
diff --git a/tests/value/loop_join.i b/tests/value/loop_join.i
index 2abaeb65fcc..19bcb4fc323 100644
--- a/tests/value/loop_join.i
+++ b/tests/value/loop_join.i
@@ -12,5 +12,5 @@ void main () {
if (i == 400)
goto l_end_loop;
}
- l_end_loop:
+ l_end_loop:;
}
--
GitLab