diff --git a/tests/cil/ghost_cfg.c b/tests/cil/ghost_cfg.c
index c65e13840a6b613def9b85585b6a25b8e05c076b..15c916efa382d7875e227e39535ef8d6b8201d4d 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 b2a74f89f75ed392eb6f41baf27124a69d4d40e0..03dc066c147e411ec30fa5f0bc87f7aa3c5c4696 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 4807505a70050da90d949df89003324420c7c7ff..4ccad645f15c61425fcf07b5c25f80d4d7bc3108 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 9a279023fb65135b0907c6b0b0fbfd10e1ca3cb1..5d644af2bb682ddbfae9659eb35fc5f6e00b38e2 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 2abaeb65fcccff5c539622d0d9c12c7e5d30b087..19bcb4fc323b60b14d555336a8235f0124170db8 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:;
 }