> On 11 Jul 2023, at 21:21, Stefano Stabellini <[email protected]> wrote:
> 
> From: Stefano Stabellini <[email protected]>
> 
> Specify that {} is allowed for zero-initialization.
> 
> Signed-off-by: Stefano Stabellini <[email protected]>

Reviewed-by: Luca Fancellu <[email protected]>


> ---
> docs/misra/rules.rst | 5 +++++
> 1 file changed, 5 insertions(+)
> 
> diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
> index 72aa986bce..29a777938a 100644
> --- a/docs/misra/rules.rst
> +++ b/docs/misra/rules.rst
> @@ -284,6 +284,11 @@ maintainers if you want to suggest a change.
>        braces
>      -
> 
> +   * - `Rule 9.3 
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_09_03.c>`_
> +     - Required
> +     - Arrays shall not be partially initialized
> +     - {} is also allowed to specify explicit zero-initialization

Not related to this patch, but how is the coding style for this? Is it {} 
without spaces or { } with one space?
It’s not specified in the coding style


> +
>    * - `Rule 9.4 
> <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_09_04.c>`_
>      - Required
>      - An element of an object shall not be initialized more than once
> -- 
> 2.25.1
> 
> 

Reply via email to