diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-16 03:32:35 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-13 14:16:51 +0100 |
| commit | fd978b5ae72d8bd58831e8f3f9def5bb726f376b (patch) | |
| tree | 8e9ab02e246a053050ffe464a49f907112af2003 /validation | |
| parent | 1f6cd6fe94fc440a9bbd9c2f1070bd016e550be4 (diff) | |
| download | sparse-dev-fd978b5ae72d8bd58831e8f3f9def5bb726f376b.tar.gz | |
add test case for using multiple input files
GCC can be called with several input files in a single invocation
but these files are processed individually.
There is so no reasons to warn about a symbol being already defined
in a previous file.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/multi-input.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/validation/multi-input.c b/validation/multi-input.c new file mode 100644 index 00000000..2443d49f --- /dev/null +++ b/validation/multi-input.c @@ -0,0 +1,11 @@ +int a = 1; +int foo(void) {} + +static int b = 1; +static int bar(void) {} + +/* + * check-name: multi-input + * check-command: sparse -Wno-decl $file $file + * check-known-to-fail + */ |