diff options
| author | Damien Lespiau <damien.lespiau@gmail.com> | 2007-07-02 06:41:39 +0200 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-07-08 12:17:44 -0700 |
| commit | b19090fe82cd8ca9b870eac46067f477f881ea70 (patch) | |
| tree | afe5eb3ebd83579b8a543efab840658757c0b85c /validation | |
| parent | f35d921b577719f7c3895ffc0b8db5fbcc099640 (diff) | |
| download | sparse-dev-b19090fe82cd8ca9b870eac46067f477f881ea70.tar.gz | |
Sample test-suite test cases
A few examples meant to show the use of test-suite
Signed-off-by: Damien Lespiau <damien.lespiau@gmail.com>
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 3b66a113..ec157f0c 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 5ae20aab..a02ccf6f 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 0f7da475..c036c2e5 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 340938ee..c95641d4 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 71b9acde..0735667d 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 86b90d32..31bdc889 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 + */ |