diff options
Diffstat (limited to 'validation/varargs-format-addrspace1.c')
-rw-r--r-- | validation/varargs-format-addrspace1.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/varargs-format-addrspace1.c b/validation/varargs-format-addrspace1.c index 99b61196..3370ac67 100644 --- a/validation/varargs-format-addrspace1.c +++ b/validation/varargs-format-addrspace1.c @@ -18,7 +18,6 @@ static void test(void) { /* * check-name: variadic formatting test with address-space to %s * check-command: sparse -Wformat $file - * check-known-to-fail * * check-error-start varargs-format-addrspace1.c:10:26: warning: incorrect type in argument 2 (different address spaces) |