From e95dc03717b8ae00de2a0b41b88905af6170b210 Mon Sep 17 00:00:00 2001 From: Andrew Cooper Date: Fri, 28 Feb 2025 09:58:51 +0000 Subject: [PATCH] MISRA: Update path for bsearch devation This ought to have been part of the original patch, so as to avoid breaking CI. Fixes: 31c0d6fdf421 ("xen/bsearch: Split out of lib.h into it's own header") Signed-off-by: Andrew Cooper Reviewed-by: Nicola Vetrini --- automation/eclair_analysis/ECLAIR/deviations.ecl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/eclair_analysis/ECLAIR/deviations.ecl index a28eb0ae76..dfa5f34b39 100644 --- a/automation/eclair_analysis/ECLAIR/deviations.ecl +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl @@ -231,7 +231,7 @@ Therefore the absence of prior declarations is safe." -doc_begin="Given that bsearch and sort are defined with the attribute 'gnu_inline', it's deliberate not to have a prior declaration. See Section \"6.33.1 Common Function Attributes\" of \"GCC_MANUAL\" for a full explanation of gnu_inline." --file_tag+={bsearch_sort, "^xen/include/xen/(sort|lib)\\.h$"} +-file_tag+={bsearch_sort, "^xen/include/xen/(sort|bsearch)\\.h$"} -config=MC3A2.R8.4,reports+={deliberate, "any_area(any_loc(file(bsearch_sort))&&decl(name(bsearch||sort)))"} -doc_end