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@xxxxxxxxx> --- validation/multi-input.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 validation/multi-input.c diff --git a/validation/multi-input.c b/validation/multi-input.c new file mode 100644 index 000000000..2443d49fd --- /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 + */ -- 2.14.0 -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html