[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] MISRA: Update path for bsearch devation
- To: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
- From: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
- Date: Fri, 28 Feb 2025 11:19:34 +0100
- Arc-authentication-results: i=1; bugseng.com; arc=none smtp.remote-ip=162.55.131.47
- Arc-message-signature: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; c=relaxed/relaxed; t=1740737974; h=DKIM-Signature:MIME-Version:Date:From:To:Cc:Subject:In-Reply-To: References:Message-ID:X-Sender:Organization:Content-Type: Content-Transfer-Encoding; bh=Ww+nkWg190Kxcj6JBiNBknRjfHK9WzaxLu090Jvkt3c=; b=3GODTAkgaZ4nko+bTnJIkeaL5zXzcn3yp5VWJuhqjmWT9Y6C1ilExKTQVB+652cLJmpH mH4qVgUNCcTHoz3sQHlkTik3iWoIcZlY7sAXL74fdFtxq8X7FIK94w06apigN74n6HuhF 8nP9yik6CjOu5OlwPAadEPIriRzsRSAYa7aTcIBVhL7bIq5NM2GeLORw4bg3aRkA0PErZ eeY7hV4OkoIXuBJaVpWhghOTko7hVwXW4Iv+i9lbaXriorEI4sfvdXVIiMv1SvIECgyud rRmCQ8WhOO6wjob7p5tkDd6bvj9uAQ6JrRG3LOarCEUypb5orxhgdZIsGGFmCZZZft1/e 0Rm9PM2wFX8RKFZRSiY9MefPIDbKW3zlI59SO4ORVTXyvUkfvkL6ieR1z7M28sLWENjmK 4zaS+IxESCRoG+bnj/YURdPsTZBxt2kpvcsiyd+HIQbT3SPyCL/T3YuWQPNLu9ooVOksJ mLN+XZC6atAhm1PnQKAy2McjyqgLQg+f2LQmTSh/eAPZm5RcfAWos++wGbkJKq9Zgo+eY EbisOX2sN7gxj9pVxUbsrZ+P3A5pti/L+LAiIhUt4d6VyXEN367Y8IYm4kJY38QV01tWJ DygGcHYJRLJNuLVEx+990y0PJKn2POtyR1R5Uurj6HhZkGdAapr7KqEWRymILcA=
- Arc-seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1740737974; b=jWOfQyTR56YUNxMXLRfTcrYKwafUMsGh1kOQeecH9zRc2UofLj0/c9Fnj2+CmH1dIGVg RDgcyDBSztSWDDUEKbjhKjWslk81HVioygODiwmU5WuCGiDV8hN8k0YdixX5aybCibt7W eSBY3Wn/HcVpG4mpfd5GR4yTVNp+AO7F8z36gnDPHIKug/rLrzikfeJGAmiTrd3T6MOG1 UmykUSwK9dJmMxCqKf80QcHZmmWPslHBG2Aah9j88zznvaT3AljCrvMrY9o6SrdXoZikZ oUwOlxHc2fn87ARibw9kGEofSVblspdhaqPx9Bh3UDGyMeIGxavIcKB0VS6+/WCD86NKl aJI3M3pceAzHepKw04zhgjggnsvUnS5t5sA0579/R/ceRYRKDPBo7Pamhk1WED/HnJVCk tkH0zSaYD+H3jZyoalzjabnLzZOW353lGBfSwV9HwnEAZfCoT+zJd3N/9bvzbaSwMZ/co QWBtqnuiLU5D49d5x4C4BlkZEabWImxh49m9xpjrCLQ8s8AFapWv3//3bV9sGnhzTn9P9 bCQ5ppc7wJ/EGFoyWKp5AHrp2kehPj9x29MpKpfPEzRpCP6dEyTQOk49jsgvvtX/ybnla gIfObBZm0sWtbPImQqdf7/J7sQJHiXhjQ2t9w/On4dW31TMcM4b0drl7X//li2M=
- Authentication-results: bugseng.com; arc=none smtp.remote-ip=162.55.131.47
- Cc: Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Jan Beulich <JBeulich@xxxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, Anthony PERARD <anthony.perard@xxxxxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>, Julien Grall <julien@xxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, "consulting @ bugseng . com" <consulting@xxxxxxxxxxx>
- Delivery-date: Fri, 28 Feb 2025 10:19:43 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 2025-02-28 11:06, Andrew Cooper wrote:
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>
---
CC: Jan Beulich <JBeulich@xxxxxxxx>
CC: Roger Pau Monné <roger.pau@xxxxxxxxxx>
CC: Anthony PERARD <anthony.perard@xxxxxxxxxx>
CC: Michal Orzel <michal.orzel@xxxxxxx>
CC: Jan Beulich <jbeulich@xxxxxxxx>
CC: Julien Grall <julien@xxxxxxx>
CC: Roger Pau Monné <roger.pau@xxxxxxxxxx>
CC: Stefano Stabellini <sstabellini@xxxxxxxxxx>
CC: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
CC: consulting@xxxxxxxxxxx <consulting@xxxxxxxxxxx>
https://gitlab.com/xen-project/people/andyhhp/xen/-/pipelines/1693121902
---
automation/eclair_analysis/ECLAIR/deviations.ecl | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Reviewed-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl
b/automation/eclair_analysis/ECLAIR/deviations.ecl
index a28eb0ae7658..dfa5f34b3952 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
base-commit: 31c0d6fdf421b09327448351eb13bc4f1f40106b
--
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253
|
