diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/bad-assignment.c | 13 | ||||
| -rw-r--r-- | validation/preprocessor/preprocessor1.c | 11 | ||||
| -rw-r--r-- | validation/preprocessor/preprocessor19.c | 13 | ||||
| -rw-r--r-- | validation/preprocessor/preprocessor2.c | 11 | ||||
| -rw-r--r-- | validation/preprocessor/preprocessor3.c | 14 | ||||
| -rw-r--r-- | validation/struct-as.c | 6 |
6 files changed, 68 insertions, 0 deletions
diff --git a/validation/bad-assignment.c b/validation/bad-assignment.c index 3b66a11..ec157f0 100644 --- a/validation/bad-assignment.c +++ b/validation/bad-assignment.c @@ -4,3 +4,16 @@ static int foo(int a) return a; } +/* + * check-name: bad assignment + * + * check-command: sparse $file + * check-exit-value: 1 + * + * check-output-start +bad-assignment.c:3:6: error: Expected ; at end of statement +bad-assignment.c:3:6: error: got \ + * check-output-end + * + * check-known-to-fail + */ diff --git a/validation/preprocessor/preprocessor1.c b/validation/preprocessor/preprocessor1.c index 5ae20aa..a02ccf6 100644 --- a/validation/preprocessor/preprocessor1.c +++ b/validation/preprocessor/preprocessor1.c @@ -12,3 +12,14 @@ #define bar func( #define foo bar foo foo ) +/* + * check-name: Preprocessor #1 + * + * check-command: sparse -E $file + * check-exit-value: 0 + * + * check-output-start + +foo + * check-output-end + */ diff --git a/validation/preprocessor/preprocessor19.c b/validation/preprocessor/preprocessor19.c index 0f7da47..c036c2e 100644 --- a/validation/preprocessor/preprocessor19.c +++ b/validation/preprocessor/preprocessor19.c @@ -3,3 +3,16 @@ #define A x #define A y A +/* + * check-name: Preprocessor #19 + * + * check-command: sparse -E $file + * check-exit-value: 0 + * + * check-output-start +preprocessor/preprocessor19.c:4:9: warning: preprocessor token A redefined +preprocessor/preprocessor19.c:3:9: this was the original definition + +y + * check-output-end + */ diff --git a/validation/preprocessor/preprocessor2.c b/validation/preprocessor/preprocessor2.c index 340938e..c95641d 100644 --- a/validation/preprocessor/preprocessor2.c +++ b/validation/preprocessor/preprocessor2.c @@ -13,3 +13,14 @@ #define BINARY(x, y) x + y UNARY(TWO) +/* + * check-name: Preprocessor #2 + * + * check-command: sparse -E $file + * check-exit-value: 0 + * + * check-output-start + +a + b + * check-output-end + */ diff --git a/validation/preprocessor/preprocessor3.c b/validation/preprocessor/preprocessor3.c index 71b9acd..0735667 100644 --- a/validation/preprocessor/preprocessor3.c +++ b/validation/preprocessor/preprocessor3.c @@ -35,3 +35,17 @@ A() // B ( ) SCAN( A() ) // A ( ) SCAN(SCAN( A() )) // B ( ) SCAN(SCAN(SCAN( A() ))) // A ( ) +/* + * check-name: Preprocessor #3 + * + * check-command: sparse -E $file + * check-exit-value: 0 + * + * check-output-start + +B ( ) +A ( ) +B ( ) +A ( ) + * check-output-end + */ diff --git a/validation/struct-as.c b/validation/struct-as.c index 86b90d3..31bdc88 100644 --- a/validation/struct-as.c +++ b/validation/struct-as.c @@ -14,3 +14,9 @@ static int broken(struct hello __user *sp) { test(&sp->a); } +/* + * check-name: Address space of a struct member + * + * check-command: sparse $file + * check-exit-value: 0 + */ |