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

Re: [PATCH v4 4/5] docs/misra: Remove earlycpio.c from the Eclair exclusion list.


  • To: Alejandro Vallejo <alejandro.garciavallejo@xxxxxxx>
  • From: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
  • Date: Tue, 20 Jan 2026 12:41:13 +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=1768909273; h=MIME-Version:Date:From:To:Cc:Subject:In-Reply-To:References: Message-ID:X-Sender:Organization:Content-Type: Content-Transfer-Encoding; bh=g0LphDrjBBBcNeS6PTBpBmzF9zhHVCAUEqStmqI40k4=; b=uXIzD+LJeMNTQjfjHc+07FkoRN2lw+E2FxbDoEIqBBLFdLn859Nzim9c6wxjIj9o6gwB kYzHqkh3s7FkvAv/735LaNfvw2uZUimGrELiPipPt80hYiuRrBSIQxanHJj6smRMavDiM BKPvb2Yb00lqErKbjrshlBy5QYKRZTdiu07qmXYRwJM9k/DtxvGLcqXseLZNU3KqlN3NC cZ9O8VCJ/cM3RJZtoIH2J4qaDeMxO6egImUgDnOJRHsEFlkIDOQvnKxtcgC7dMVbD5TvH 7Adw3Zb0oEYNkDOTOjYnXap1FdVKXim/z8EaILVjcD8n9YYrynLkJlIsXjwxxjlqer3Nk 0sE6bc1M2NF9Y7Mfocsz6c4IpKP00ymtRQZHmiJC8yNGYr6LBSbW3cuqERR9uDjFHRw6f VFU4mpPSpTsCNXwLoJarqkyYWYrgoprY6oXYMDhSgc3lvG2JxhP9oZwqvnEI4rLlJNJyn yDE4hiUcut48yUxXnwr9LbapmNehUvfH2/hbigSHK9vmzCgIORZ9lDYdgNtF0+WKIb85U uNIAR9Laps8ZnDYdfczwGWWM0hRNwdwk/NOyfx/U+w68IjYUfr6foiR/OPT1EUihPFvL0 Y6uaTuR51uexJVgHnKL6JNvADN5UQ1oAJlPx3wJXtsaRFaNn/ukNX9i6Iu3jls4=
  • Arc-seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1768909273; b=2sENNBmYoNlemZAySaSQEuUBf/kp6vdokj5ZRfSU7o0EPtraZncdNZJZfQHdSPEwur5z IXQrbvuPKDo4nq6Li+r/5hrYE1e9elofFaU6SDhCOt+tIxQ6WKPql33jczbx8S7U0WJTO 84R0PbBo8RV4SempYbmtDMp/QGT6t3ClaNj0Doklh+qUr7Y8P5dj2igqaS7HQVE/Rc/6h NmGDcHWtXSfpup4F0Dz8NsmtEPYcijtRUNKClEqndPOTQfMA7rsmWmXVyn8jwK/aLzmg2 XsdQh/BTSEJo4WxFTGC1yCQf0k8NpJrjQGY9D7RbUpffEXWwm2Brt3h35wVUo/P3zS02X OLu2bkbyJmeLjv9RADm7CiRWp6UYJXnZeNgvXErQlf8I2qgwrB3srSqGI8b1YLQK4Wwgg JtwqDpczW/d/pl6VGoLR7TyXsFYQ3w4Vehw0b0cRV4tyWa99JDgLN7+DNeByGcaglp+rn DO6rd1U3MnBwcBhCyGg+eLzfLlbOXXN47fzMBNmHinmfZwoLMGy+0eRUFKI8i3xCYpTA7 vk0L05LBKxOoO+nD7kPYDGH1vHn4aeQT7bDwEs2M025wrdBZVmOLc3GoE4OsfIoD1YSJu dAnlOqQ/JC8VCQih97DhCLTIz2kep/BUPNewwGZcc31mWZsejFauYTeTrQ2gUS8=
  • Authentication-results: bugseng.com; arc=none smtp.remote-ip=162.55.131.47
  • Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Anthony PERARD <anthony.perard@xxxxxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, Julien Grall <julien@xxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>
  • Delivery-date: Tue, 20 Jan 2026 11:41:22 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

On 2026-01-20 12:27, Alejandro Vallejo wrote:
On Tue Jan 20, 2026 at 12:21 PM CET, Nicola Vetrini wrote:
On 2026-01-20 10:38, Alejandro Vallejo wrote:
It's clean.

Signed-off-by: Alejandro Vallejo <alejandro.garciavallejo@xxxxxxx>
---
 docs/misra/exclude-list.json | 4 ----
 1 file changed, 4 deletions(-)


Hi. Do you have a link to a pipeline?

In the cover letter. I only run it on allcode.


I see. I can spot these additional violations from earlycpio.c. It does not result in a failure, but only because x86_64-allcode has also other non-clean guidelines and is thus allowed to fail. Ideally in some copious free time I'd send a patch to create a subset of clean guidelines for the *-allcode analysis that is failing, so that the "allow_fail: true" can be removed.

https://eclair-analysis-logs.xenproject.org/fs/space/verdesse0/XEN.ecdf/xen-project/people/agvallejo/xen/ECLAIR_normal/ucode-disable_v4/X86_64/12771570090/PROJECT.ecd;/by_main_file/xen/lib/earlycpio.c.html

Cheers,
Alejandro


diff --git a/docs/misra/exclude-list.json
b/docs/misra/exclude-list.json
index 388397dd3b..273e24db4a 100644
--- a/docs/misra/exclude-list.json
+++ b/docs/misra/exclude-list.json
@@ -121,10 +121,6 @@
             "rel_path": "common/bunzip2.c",
             "comment": "Imported from Linux, ignore for now"
         },
-        {
-            "rel_path": "common/earlycpio.c",
-            "comment": "Imported from Linux, ignore for now"
-        },
         {
             "rel_path": "common/gzip/*",
             "comment": "Imported from Linux, ignore for now"

--
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253



 


Rackspace

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