mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
CI/ECLAIR: avoid intercepting intermediate linking steps
These do not add any value to the analysis other than duplicating some reports
in whole-program analysis, as the intermediate linking steps are only used to
build the symbol table.
Suggested-by: Jan Beulich <jbeulich@suse.com>
Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
master commit: 79e060ea03
master date: 2026-05-14 13:38:04 +0100
This commit is contained in:
Nicola Vetrini authored and Jan Beulich committed
1 parent
3db23dfdc6
commit
ed13b64882
1 file changed
+7
@@ -34,6 +34,13 @@ their Standard Library equivalents."
|
||||
|
||||
-doc_end
|
||||
|
||||
-doc_begin="Do not analyze intermediate linking artifacts, as they do not differ from their final
|
||||
counterparts for the purposes of MISRA C static analysis."
|
||||
-file_tag+={xen_efi_tmp, "^xen/\\.xen\\.efi\\..*$"}
|
||||
-file_tag+={xen_syms_tmp, "^xen/\\.xen-syms\\..*$"}
|
||||
-frames+={hide, "kind(program)&&target(xen_syms_tmp||xen_efi_tmp)"}
|
||||
-doc_end
|
||||
|
||||
-eval_file=toolchain.ecl
|
||||
-eval_file=public_APIs.ecl
|
||||
|
||||
|
||||