[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>, Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
- From: Alejandro Vallejo <alejandro.garciavallejo@xxxxxxx>
- Date: Tue, 20 Jan 2026 13:09:40 +0100
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 165.204.84.17) smtp.rcpttodomain=bugseng.com smtp.mailfrom=amd.com; dmarc=pass (p=quarantine sp=quarantine pct=100) action=none header.from=amd.com; dkim=none (message not signed); arc=none (0)
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=sS2HGwOpJ9ILdUn0TXiUmZMJgrnPhsnR1OONZcpWWOs=; b=EJ273e24Ln80nGLK0ophS19qLm6CrQ3FRnXlgsYo11cqb1ASpm9wx5Zgn2dYJljuLqUUrjNnezHyy+uHn7n3eOKuED64TgRKY3g94SC/4A0cB4Pi8SbrobDsyFEvU6lDIlLA08ZJx7IAvV0HQJGggbkuc8lS9SKtO3pj5NLjlrI2wv0cfPlxAhmrt6vaqxYite2bLka+KGpEh8L2SorqdKgB6/hR6QI1ILejvI7dPl7/n5EOZmJn4Hi1pX4JyHudTp0xQDrImZiYUz2LREfm3oLMKRuS74WHqLDu2x9XTtjh9SxBW+Zs7ZYm+SU6ihGCsu3UpLp5y0c6AebWzMmlpA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=nMTXDhT5tGr2RQ2HfTC2nKgxz7XvSPp8tYWSG1QVniyy/5ZdFY0xNuE4Qc52SLjW40yqnRzT+wsYNCQTmWr5S+J0NjPIZ60rGl6lYMJigs/TfwcVYccUjSu2rbALqKbL2zCcsSUpKNf3+jvfug4GU8GKBcCI1aF+tyz/tbHCQ7fDTSNnkHt0fGqC14M1dw4pK5iGmJPAlfNtb3MqjKqrf0e8MOFQOPHAhVBmFnboZsldnJdZoCdxFLDx5w61NeIQ6fveDtSe8UeGyzOsD2W6Xe0glrOlKDUDVS5ZAXMWIEpbb/qGf/BnaQXAOloXvzGcAC/uTTnQNDE1h+ryEnCGbw==
- 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>, Xen-devel <xen-devel-bounces@xxxxxxxxxxxxxxxxxxxx>
- Delivery-date: Tue, 20 Jan 2026 12:10:06 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On Tue Jan 20, 2026 at 12:51 PM CET, Alejandro Vallejo wrote:
> On Tue Jan 20, 2026 at 12:41 PM CET, Nicola Vetrini wrote:
>> 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
>
> The web interface doesn't allow to search?! Sigh... thanks for the pointer.
It's your usual mess of miscasting, enum-as-int, etc.
Would you rather keep the exclusion and deal with it later or let it pile up?
I just don't have the time to go into it myself.
Cheers,
Alejandro
|
