]> xenbits.xensource.com Git - people/royger/xen.git/commitdiff
MISRA: Update path for bsearch devation
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 28 Feb 2025 09:58:51 +0000 (09:58 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 28 Feb 2025 11:03:02 +0000 (11:03 +0000)
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 <andrew.cooper3@citrix.com>
Reviewed-by: Nicola Vetrini <nicola.vetrini@bugseng.com>
automation/eclair_analysis/ECLAIR/deviations.ecl

index a28eb0ae76580fa82fd47254f9ac7bc78c55ccf0..dfa5f34b39521734209bf1573df849123c13b0e2 100644 (file)
@@ -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