[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[xen master] MISRA: Update path for bsearch devation



commit e95dc03717b8ae00de2a0b41b88905af6170b210
Author:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
AuthorDate: Fri Feb 28 09:58:51 2025 +0000
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Fri Feb 28 11:03:02 2025 +0000

    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 <andrew.cooper3@xxxxxxxxxx>
    Reviewed-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
---
 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
 
--
generated by git-patchbot for /home/xen/git/xen.git#master



 


Rackspace

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