aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
Diffstat (limited to 'validation')
-rw-r--r--validation/packed-bitfield0.c1
-rw-r--r--validation/packed-bitfield1.c1
-rw-r--r--validation/packed-bitfield2.c1
-rw-r--r--validation/packed-bitfield5.c1
-rw-r--r--validation/packed-deref0.c1
-rw-r--r--validation/packed-struct.c1
6 files changed, 0 insertions, 6 deletions
diff --git a/validation/packed-bitfield0.c b/validation/packed-bitfield0.c
index f84e7b90..2e209161 100644
--- a/validation/packed-bitfield0.c
+++ b/validation/packed-bitfield0.c
@@ -55,5 +55,4 @@ int main(void)
/*
* check-name: packed-bitfield0
- * check-known-to-fail
*/
diff --git a/validation/packed-bitfield1.c b/validation/packed-bitfield1.c
index 208a3dc5..b7b575ce 100644
--- a/validation/packed-bitfield1.c
+++ b/validation/packed-bitfield1.c
@@ -24,5 +24,4 @@ static int foo(struct s *ptr)
/*
* check-name: packed-bitfield1
- * check-known-to-fail
*/
diff --git a/validation/packed-bitfield2.c b/validation/packed-bitfield2.c
index 4587ebec..244204c2 100644
--- a/validation/packed-bitfield2.c
+++ b/validation/packed-bitfield2.c
@@ -12,5 +12,4 @@ _Static_assert(sizeof(struct bf2) == 8);
/*
* check-name: packed-bitfield2
- * check-known-to-fail
*/
diff --git a/validation/packed-bitfield5.c b/validation/packed-bitfield5.c
index 8f44d4c2..87dbf9c2 100644
--- a/validation/packed-bitfield5.c
+++ b/validation/packed-bitfield5.c
@@ -17,5 +17,4 @@ static int ld(struct s *s)
/*
* check-name: packed-bitfield5
* check-description: is check_access() OK with 'overlapping' packed bitfields?
- * check-known-to-fail
*/
diff --git a/validation/packed-deref0.c b/validation/packed-deref0.c
index 865ad68a..d48ad1ac 100644
--- a/validation/packed-deref0.c
+++ b/validation/packed-deref0.c
@@ -20,5 +20,4 @@ static void bar(obj_t o)
/*
* check-name: packed-deref0
- * check-known-to-fail
*/
diff --git a/validation/packed-struct.c b/validation/packed-struct.c
index e21d1153..dad22791 100644
--- a/validation/packed-struct.c
+++ b/validation/packed-struct.c
@@ -29,5 +29,4 @@ _Static_assert( sizeof(struct c) == 6, "size struct");
/*
* check-name: packed-struct
- * check-known-to-fail
*/