[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 09:58: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=xdVnVck2WIIzqoZQ9M2KyGXt7qyFPYimJtu6qZk8mGI=; b=bt8H1UA1aegL6yjqkXPiEwP3KjFxjwOPJc4Fq0v6rSOmAaq8VVR4yHbDZQguCn3WSiEFDDJP++kv0z1B+o7Pw2CQDy0tcPAw6kw/dwG/1c1DFaiuRprbWSOMT/kSea+7nUlHhwxo3d2uKzXRsfniylLtKa3qJQ7ktUK8B07zT0BWZdVUoWtTyxLpye4wFGplgbFpJufKwkgN1klMEdjCh80hTxqNWs+yyDNLZFilmq0ljehJj4A1FPfkvQNdBFcgIo8KM0Ihii0t8ZCgSBXJaCQAY4YYN5VfyABMlGPdwBVJPar4VZ1C6R3nOGhw3kjV+cDNhboq8BOAobFyzJtc/Q==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=eXrKeQptRyxVTQBizZkh+1GNaN196Y9tVTRhezpEaVnMH9Vix9xhCBAF9+qTB3FfEapE+3hoy1A29Wu4cWShGMylw6a8L0VcNahmAaRhbQ58Rq2EDySFmaGDDYq3OmlWvMFruqtuMnV1X550q29B3FUrbaukIi81nd5m0zuEX1DK0nWiccsrWrVMgEJ3AkuFCiPz3sJMSV4evw55a1Cic73+/yljJGUNKBglYKstcnqh8aXI57ALJ6W4+3ikDsipUEmQhU51+Z0hVwDMyrPDqGyJRe7zxj8yZBqlxVMPtbmnqsTigsY/oRArmPgdWpYA/ajU0GCgkj6KDcei7qdp1Q==
- 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 07:58:56 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
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.
Jan
|
