aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
diff options
Diffstat (limited to 'validation/linear')
-rw-r--r--validation/linear/missing-return0.c1
-rw-r--r--validation/linear/missing-return1.c1
-rw-r--r--validation/linear/missing-return2.c1
-rw-r--r--validation/linear/missing-return4.c1
-rw-r--r--validation/linear/missing-return5.c1
5 files changed, 0 insertions, 5 deletions
diff --git a/validation/linear/missing-return0.c b/validation/linear/missing-return0.c
index d6019941..77ab5abd 100644
--- a/validation/linear/missing-return0.c
+++ b/validation/linear/missing-return0.c
@@ -7,5 +7,4 @@ static int foo(int a)
/*
* check-name: missing-return0
* check-command: sparse -vir -flinearize=last $file
- * check-known-to-fail
*/
diff --git a/validation/linear/missing-return1.c b/validation/linear/missing-return1.c
index c13135ad..4a8a9517 100644
--- a/validation/linear/missing-return1.c
+++ b/validation/linear/missing-return1.c
@@ -12,5 +12,4 @@ static int foo(int a)
/*
* check-name: missing-return1
* check-command: sparse -vir -flinearize=last $file
- * check-known-to-fail
*/
diff --git a/validation/linear/missing-return2.c b/validation/linear/missing-return2.c
index c1959b6f..395dcc14 100644
--- a/validation/linear/missing-return2.c
+++ b/validation/linear/missing-return2.c
@@ -8,5 +8,4 @@ static int foo(int a)
/*
* check-name: missing-return2
* check-command: sparse -vir -flinearize=last $file
- * check-known-to-fail
*/
diff --git a/validation/linear/missing-return4.c b/validation/linear/missing-return4.c
index dd30988b..779893a0 100644
--- a/validation/linear/missing-return4.c
+++ b/validation/linear/missing-return4.c
@@ -7,7 +7,6 @@ static int foo(int a)
/*
* check-name: missing-return4
* check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
*
* check-error-ignore
* check-output-ignore
diff --git a/validation/linear/missing-return5.c b/validation/linear/missing-return5.c
index bcabd16a..e5504a19 100644
--- a/validation/linear/missing-return5.c
+++ b/validation/linear/missing-return5.c
@@ -14,7 +14,6 @@ int bar(int p)
/*
* check-name: missing/undef return
* check-command: test-linearize -Wno-decl -fdump-ir=linearize $file
- * check-known-to-fail
*
* check-output-ignore
* check-output-pattern(2): phi\\..*,.*