[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] docs/misra: add 14.3 and 14.4
- To: Bertrand Marquis <Bertrand.Marquis@xxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>
- From: Jan Beulich <jbeulich@xxxxxxxx>
- Date: Wed, 30 Aug 2023 10:06:44 +0200
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=suse.com; dmarc=pass action=none header.from=suse.com; dkim=pass header.d=suse.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=/bBeL/nOndtaShgxN6T3MpyxzG/TyVd+h3uskelP9Qs=; b=nJv2EcDE6ih/WDB3CilceC2AYmYjwfEbfjxGBvEJ6aI040jfZgEfNBeB2NrxfRHTXlEuNGvjMHHj3S3alM9LqxUERKEmuaht6e3h+Blzs/JLOw7dGh85jqwQ6j1OIXYoxtb9zKUPw6QFlP8wTeljCbCCLaVSYzGE6fT03j5/gMi8REHTKv3ZFcvWXyzq4LNTUbex4SP9ZYT3qHNOTcvA964OcozZmdyUrv41bhO5EGrnAmQFp/8ZoQa5yGCQMANghhREAHmU3B3gpnjN3/eUG+ESlx9eA2N59U5EhdhIA57Bnb5/nH4GQYhLSxawLyE0DmQ43HEydk3pr3mvG/2V2w==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=XN38bgQuFGsarHnY4+RqudSiiH2c6MhjlS+xAfn2niOPlkR20zWpcIiim0e78y4uQqXmKfcgMVu/W2yw/wFttpxgM+q7vJliqQu3OEiCrXCk/DJbL85FrFfphIGXqkFEuWSiplyTp51xM2ufvVClYv9XcCfd5UTrz/QK4ixD9p+x0LYiLngPWfdrjRE2DrIWYNL+UXokX+WrPn02A8TJGDA6t2axIh7P6chIzY124Xkg9iCpQo5wLmzKHnGgjx+WukkXjCNb51zbmRbA2OhyrADHjSju6wuHqHi9kzMew1hwRipQHl3QCAsf1BUxhpX6elnqRwgDN+t/OIOKuF4rOw==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=suse.com;
- Cc: Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, "andrew.cooper3@xxxxxxxxxx" <andrew.cooper3@xxxxxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, "julien@xxxxxxx" <julien@xxxxxxx>, "george.dunlap@xxxxxxxxxx" <george.dunlap@xxxxxxxxxx>, "nicola.vetrini@xxxxxxxxxxx" <nicola.vetrini@xxxxxxxxxxx>, "roberto.bagnara@xxxxxxxxxxx" <roberto.bagnara@xxxxxxxxxxx>, Stefano Stabellini <stefano.stabellini@xxxxxxx>
- Delivery-date: Wed, 30 Aug 2023 08:07:06 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
On 30.08.2023 10:00, Bertrand Marquis wrote:
> Hi,
>
>> On 30 Aug 2023, at 09:58, Jan Beulich <jbeulich@xxxxxxxx> wrote:
>>
>> On 30.08.2023 09:54, Bertrand Marquis wrote:
>>>> On 30 Aug 2023, at 02:59, Stefano Stabellini <sstabellini@xxxxxxxxxx>
>>>> wrote:
>>>> + * - `Rule 14.4
>>>> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_04.c>`_
>>>> + - Required
>>>> + - The controlling expression of an if statement and the controlling
>>>> + expression of an iteration-statement shall have essentially
>>>> + Boolean type
>>>> + - Implicit conversions of integers, pointers, and chars to boolean
>>>> + are allowed
>>>
>>> I am a bit wondering here what is remaining after this deviation.
>>
>> Hmm, good point - floating point (and alike) types, which we don't use
>> anyway.
>
> So we accept the rule but we deviate all cases that would apply.
> I do not think we should do that.
Right; Stefano - I withdraw my offer to ack a 14.4-only patch.
Jan
|
