|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [xen staging-4.21] CI/ECLAIR: avoid intercepting intermediate linking steps
commit ed13b648828a3b334f01389aa610b4cafc434294
Author: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
AuthorDate: Tue May 19 13:36:56 2026 +0200
Commit: Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Tue May 19 13:36:56 2026 +0200
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@xxxxxxxx>
Signed-off-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
Reviewed-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
master commit: 79e060ea03583cd83ddc7e520dcd7c5c418841f3
master date: 2026-05-14 13:38:04 +0100
---
automation/eclair_analysis/ECLAIR/analysis.ecl | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/automation/eclair_analysis/ECLAIR/analysis.ecl
b/automation/eclair_analysis/ECLAIR/analysis.ecl
index 399099938f..675602e15a 100644
--- a/automation/eclair_analysis/ECLAIR/analysis.ecl
+++ b/automation/eclair_analysis/ECLAIR/analysis.ecl
@@ -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
--
generated by git-patchbot for /home/xen/git/xen.git#staging-4.21
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |