[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v3] docs/misra: add rule 2.1 exceptions
- To: Jan Beulich <jbeulich@xxxxxxxx>, Luca Fancellu <Luca.Fancellu@xxxxxxx>
- From: Bertrand Marquis <Bertrand.Marquis@xxxxxxx>
- Date: Wed, 27 Sep 2023 08:35:30 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=86OamnCMVa5pJ00d/xp8aesPGroyMFzkrPYMH5PwLE0=; b=CWghVJYeKrDHflYxj+oIqGFzyO7bWz7r4HH5VgJqLMIbvZoJdmySEC4XCDQ2cRoF41uVEzj1mqYRlfWU7J8coWJznsn0h4DZQ3GXsDnU3jkTaid5u4Uzz2GSTZFvgv98yLQ5bXcP+FB0/EOXvWNia8VZ0EB1rN57v/AabjFXvF8OR6fEvJPsk6vrIwbyDs4DQxeB6bgLsdE5SwPmUL4+38yWQzUrlX48IHuC95SayGYpQbjhK8S/JWdLfuf8Iqrqlk0Jl+TWRDK7HxPIZG9HsRQaG/uzv4wuoC+aJbJqHcLi21pLU9aAJnbl6nriRhSPHnf5vv0NPiVUcoOwxBSKPw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=cb3xczLXXaJ2/4V6ADJN7/68ZLKY2ovWdCLmgpWvD/t7mJ7c8tKXGfFfUgEi+X11APAFswTNmOXlG4p6qOwOdfwhihshn8kPGOG0sbf8/Tn4tKZEJwHCGZPfDn4O/iMeXWfpIBeJknDgba5eKGTyrPijwStAqqwOd3MWfKWC2PiigMcJkqvAQKziBOIy2n2sQWCA1Mgf/o8gTZGhdY+7tCUcvT+3lBNKcD2whSTyoH3brxKNwM6gE4iNZ/e77H1BK6VWNzLlvfQVYI7Qkze68LLaCg9Vz/Dp/eV0CwJG3mE4aaA04GX259RECchwn8KrgyAlomB9DcwMPp/qPA0GVw==
- Authentication-results-original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
- Cc: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, "andrew.cooper3@xxxxxxxxxx" <andrew.cooper3@xxxxxxxxxx>, "roger.pau@xxxxxxxxxx" <roger.pau@xxxxxxxxxx>, "george.dunlap@xxxxxxxxxx" <george.dunlap@xxxxxxxxxx>, "roberto.bagnara@xxxxxxxxxxx" <roberto.bagnara@xxxxxxxxxxx>, "julien@xxxxxxx" <julien@xxxxxxx>, Stefano Stabellini <stefano.stabellini@xxxxxxx>
- Delivery-date: Wed, 27 Sep 2023 08:35:56 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
- Nodisclaimer: true
- Original-authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
- Thread-index: AQHZ4qiwUwH3koR9JUa91LeAyizAArAVxOqAgACZsICAGAuKgIAABdgAgAAClICAAAM2gA==
- Thread-topic: [PATCH v3] docs/misra: add rule 2.1 exceptions
Hi Jan,
> On 27 Sep 2023, at 10:23, Jan Beulich <jbeulich@xxxxxxxx> wrote:
>
> On 27.09.2023 10:14, Bertrand Marquis wrote:
>>> On 27 Sep 2023, at 09:53, Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx> wrote:
>>> My opinion is that it's far easier for this to be an eclair configuration
>>> (which has the
>>> advantage not to depend on the exact definition of unreachable) and then
>>> perhaps a comment
>>> above it explaining the situation.
>>
>> I agree here and it is easier to make an overall exception where we list the
>> cases
>> where this is acceptable (ie all flavors of unreacheable) and document that
>> eclair
>> was configured using "xxxx" to handle this.
>
> What about cppcheck then, for example?
Good point we should check if cppcheck or coverity can do such things.
@Luca: any idea ?
Cheers
Bertrand
>
> Jan
>
|
