[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
> 
> 




 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.