[xen staging] CI/ECLAIR: avoid intercepting intermediate linking steps

[patchbot@xxxxxxx]

commit 79e060ea03583cd83ddc7e520dcd7c5c418841f3
Author:     Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
AuthorDate: Thu May 14 12:16:20 2026 +0200
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Thu May 14 13:38:04 2026 +0100

    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>
---
 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