From 2f255a14665d9b584a3de528242bb948ff63f977 Mon Sep 17 00:00:00 2001 From: Luc Van Oostenryck Date: Thu, 30 Jul 2020 00:02:44 +0200 Subject: fix diagnostic source path from command line Now, diagnostic messages are prepended with the source path. But if the problem comes from a file included directly from the command line like: sparse -include some-buggy-file.c the prepended message will be: (null): note: in included file ... because there isn't a source path yet. So, initialize the source path to "command-line". Signed-off-by: Luc Van Oostenryck --- lib.c | 2 ++ validation/preprocessor/bad-cmdline-include.c | 11 +++++++++++ 2 files changed, 13 insertions(+) create mode 100644 validation/preprocessor/bad-cmdline-include.c diff --git a/lib.c b/lib.c index 2b600fee..4bc5cd02 100644 --- a/lib.c +++ b/lib.c @@ -383,6 +383,8 @@ struct symbol_list *sparse_initialize(int argc, char **argv, struct string_list char **args; struct symbol_list *list; + base_filename = "command-line"; + // Initialize symbol stream first, so that we can add defines etc init_symbols(); diff --git a/validation/preprocessor/bad-cmdline-include.c b/validation/preprocessor/bad-cmdline-include.c new file mode 100644 index 00000000..e4ee03f4 --- /dev/null +++ b/validation/preprocessor/bad-cmdline-include.c @@ -0,0 +1,11 @@ +#error some random error + +/* + * check-name: bad-cmdline-include + * check-command: sparse -include $file + * + * check-error-start +command-line: note: in included file (through builtin): +preprocessor/bad-cmdline-include.c:1:2: error: some random error + * check-error-end + */ -- cgit 1.2.3-korg