[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2 3/3] docs/misra/rules.rst: add rule 14.4
- To: Stefano Stabellini <stefano.stabellini@xxxxxxx>
- From: Bertrand Marquis <Bertrand.Marquis@xxxxxxx>
- Date: Fri, 1 Mar 2024 07:48:19 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 63.35.35.123) smtp.rcpttodomain=lists.xenproject.org smtp.mailfrom=arm.com; dmarc=pass (p=none sp=none pct=100) action=none header.from=arm.com; dkim=pass (signature was verified) header.d=armh.onmicrosoft.com; arc=pass (0 oda=1 ltdi=1 spf=[1,1,smtp.mailfrom=arm.com] dkim=[1,1,header.d=arm.com] dmarc=[1,1,header.from=arm.com])
- 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=2; 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=jO7Ulch6vbq9W6ykEXoGuWqFYt6mmQFNdCPTJI9K870=; b=Ltt9toyqUH8sSqGo5fw6HGlbj2g3tgozhKIS+koQfZ4ttC8A5UMfuCXFsIiMbq4J2imyes46aoWRK93+8YAQnXU5KRTTgXt8h4DfPPTPvsUreB5wgroStHLbKp27WWsTqxdSXTFCS1JgEEJguoVS4W9dRXRc6TUiFffW0vY91zBLRWajJiyC/KArV1GZeh0PY5wepSbIncr58Y8ewixpXGJlQ3YPci6TuXsGrzQtgVqp/kz3737w92L7pkkcFhaaDznqsTwjzJ7n8+DADvwmSe7VhD3IZmiQ4z1YzhfL8zstPQh3HG+ceQlzIttNhrNFQbZpku7dKoKj8ROPh0ZYvQ==
- 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=jO7Ulch6vbq9W6ykEXoGuWqFYt6mmQFNdCPTJI9K870=; b=dEVn5fzbjY3uMfxDvn925+osUPUeDgdhJWLAK2Flh4nRdXAd7f9z4gZbLbNrVYomNk+KDPZBV7aRHeZV0IoV+d1MnT2VgpvQQEol4orzq2Vdz5lfy1p4YTl7DrlEz0+HmwFk6ac8oZnOaWOl9F2Pid5p/r3vUpTLOLfcEqx4RsdpdaX0ZokrTwLBLv8qKZN0FC8llV3bXhZ9MAzBwBdaRQwP454lugw3H3kvBRlamRQ+O4gNJqEyAtoTkawmq63MiFGMSn1XV1FOu87+c7Jr+pN23jskgBJxEOYJhIGNieTkhg3YuhXIn0HkLZ7Wj3YjqBEq6apBmWliUf7YJNEHgQ==
- Arc-seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=QpwoAUZX9xkFoXaADkMDPt244tGK5hZAHt91+DQOwpQx3THP1BHemyOXAisQErqP1K32aJBiu/XDTC1H0Zzz4t8KEa8Fp3SaS50mA+/Xa8JHZ2DWW930SR6OFA7d8S5IuYAqwLpiyxheu1/804qNKmCTxP1NnNXtjToL5V7cT5yIkynb8XOU6PDT9VQpxTG7wCISl+f8kdhGvgWRW0jPT2ftKjWz+6RK5Alds4O1HlNo0x+uG2IbRJKPnQ2gLIB4nOVJrHyKNWCmWFaw+tu7emYrjnBER2KgH9AyhfYsVtp9+jWQJDX7c1IEY3S7cI6WJJbwXNZihMTspBgHrfVObA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=QCH5pzsegz406LLhJCVHVlS2rqMxmPQqyxKR6qpHim1oj1e/RQHhBH2DOffnO8BZ+eK3l5nFHpELcrTU7Jypbwi3WFqjXcYnKZBHQUq6EzMSIAqQhAJUbdMPCvmWtTVAAWv7wwI8XpUAK432YclJGTL1lV6KtHu+6k95SOVPDnGRmZyma1c+IRgVTaHYkqnPy1FXqMq/prQnUZFR2ejLNzyZOZV5Se90FO8e9jwLLmGGVnQ/1aJNryBxu/ZopYVqXEjEtTkD4R+VZBY9xTaxEujr8nIOGYZiw/KRbsrh1VUSApCUbAhS4w6+/5j2qJZ5BJ9VAc24cP9Z1z3eMCGt1g==
- Authentication-results-original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
- Cc: Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, George Dunlap <george.dunlap@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, "bertrannd.marquis@xxxxxxx" <bertrannd.marquis@xxxxxxx>, "roger.pau@xxxxxxxxxx" <roger.pau@xxxxxxxxxx>, "roberto.bagnara@xxxxxxxxxxx" <roberto.bagnara@xxxxxxxxxxx>, "federico.serafini@xxxxxxxxxxx" <federico.serafini@xxxxxxxxxxx>
- Delivery-date: Fri, 01 Mar 2024 07:48: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: AQHaXszFR6HRU5T+rUafoY3rmsbNMbEinAGA
- Thread-topic: [PATCH v2 3/3] docs/misra/rules.rst: add rule 14.4
Hi Stefano,
> On 13 Feb 2024, at 23:33, Stefano Stabellini <stefano.stabellini@xxxxxxx>
> wrote:
>
> Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxx>
Coherent with what was discussed during the Misra meeting so:
Acked-by: Bertrand Marquis <bertrand.marquis@xxxxxxx>
Cheers
Bertrand
> ---
> docs/misra/rules.rst | 9 +++++++++
> 1 file changed, 9 insertions(+)
>
> diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
> index 931158b354..3e6f94d7bd 100644
> --- a/docs/misra/rules.rst
> +++ b/docs/misra/rules.rst
> @@ -468,6 +468,15 @@ maintainers if you want to suggest a change.
>
> while(0) and while(1) and alike are allowed.
>
> + * - `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
> + - Automatic conversions of integer types to bool are permitted.
> + Automatic conversions of pointer types to bool are permitted.
> + This rule still applies to enum types.
> +
> * - `Rule 16.3
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_16_03.c>`_
> - Required
> - An unconditional break statement shall terminate every
> --
> 2.25.1
>
>
|