aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
diff options
Diffstat (limited to 'validation/linear')
-rw-r--r--validation/linear/deref-ptr-ptr.c1
-rw-r--r--validation/linear/unexamined-base-type.c1
2 files changed, 0 insertions, 2 deletions
diff --git a/validation/linear/deref-ptr-ptr.c b/validation/linear/deref-ptr-ptr.c
index 022595d7..963acd36 100644
--- a/validation/linear/deref-ptr-ptr.c
+++ b/validation/linear/deref-ptr-ptr.c
@@ -6,7 +6,6 @@ char *foo(char **pfmt)
/*
* check-name: deref-ptr-ptr
* check-command: test-linearize -m64 -Wno-decl $file
- * check-known-to-fail
*
* check-output-excludes: load[^.]
* check-output-contains: load\.
diff --git a/validation/linear/unexamined-base-type.c b/validation/linear/unexamined-base-type.c
index a138ba13..96aee3f0 100644
--- a/validation/linear/unexamined-base-type.c
+++ b/validation/linear/unexamined-base-type.c
@@ -28,7 +28,6 @@ static void bar(struct s *d, struct s *s1, struct s *s2)
* ^^^ !! WRONG !!
* and.32 %r6 <- %r5, $1
* ret.32 %r6
- * check-known-to-fail
*
* check-output-ignore
* check-output-excludes: load[^.]