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/preprocessor | |
| 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/preprocessor')
| -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 |
4 files changed, 49 insertions, 0 deletions
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 + */ |