[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



 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.