mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
MISRA: Update path for bsearch devation
This ought to have been part of the original patch, so as to avoid breaking
CI.
Fixes: 31c0d6fdf4 ("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>
This commit is contained in:
Andrew Cooper committed
1 parent
31c0d6fdf4
commit
e95dc03717
1 file changed
+1
-1
@@ -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
|
||||
|
||||
|
||||