[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] docs/misra: add 14.3 and 14.4
- To: Jan Beulich <jbeulich@xxxxxxxx>
- From: Bertrand Marquis <Bertrand.Marquis@xxxxxxx>
- Date: Wed, 30 Aug 2023 08:00:28 +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=1HiX3uDD7Izb+4xNXEWHFxHZWTg2oQubaSWUITMqflQ=; b=msYplZAysPG+En1RJ+la3qcvgURKUHYeym6GUlLLaIdEFH0C/vV0txTfdOaoSwXGGm8AYpa8aiPO+OkPL8uUYU4dHqjTzwjrqdhgApQ5FlNVCfP8rU39fNqOwX8njrFJoh9w3hzXe8GQQM6yvhos8P6agruhvnQ9x0d73+w65a3J8TFu6ZrLN403MoDV49fo8IQYEMAFuO+n3PrdTHCw7ZMHkFN539zz0l3Q/YFXjoMXPxs+zWon2afcDlumRA28ir6peRjPfDEZ/Pc8K6kjZCDnNhvwl9XM5KdJVwA3ORnIbGv0Cfh/fHykWZf2acS7FN4vkXYoNKr4jIkMNKX95w==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=jL6/jHOsxrC+GKbtVMV4KtXqlHayaK61swwyz4q4vIimt/93q3Vdp1zIg9PfcO9zgPsxHuyeUWE7hcLxZdgGb+5I0Y4z7H1wcqRUrdp5LuleWh7uhd4Vw8i9pz0KBu/YUMPRYZbMkSda9Low/u72G/69kj4YIJc7tSH2aC5xqSz3OYD7vXWamWv4m1FIPQ/H6nuQLTCurBQVwDyf6BAIx1ZnB7I5zaoSd1Fp03AUeyhgFFwGYY2f4rN5hwI5lxOWFpYpw3gc8EL8TBoy9PU5feeTBao93qEb66+d2EYGbn/5qPaKpvvpT7GFWatdAvdzsmxONTsC/w49kSV0BePLHw==
- Authentication-results-original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
- Cc: Stefano Stabellini <sstabellini@xxxxxxxxxx>, 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:00:49 +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: AQHZ2t1QaiF4viv/Cke+tZQgief+irACeLmAgAABJACAAABvgA==
- Thread-topic: [PATCH] docs/misra: add 14.3 and 14.4
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.
Bertrand
>
> Jan
>
|
