diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst index 8a659d8d47..dcceab9388 100644 --- a/docs/misra/rules.rst +++ b/docs/misra/rules.rst @@ -77,11 +77,32 @@ existing codebase are work-in-progress. behaviour - + * - `Rule 2.6 `_ + - Advisory + - A function should not contain unused label declarations + - + + * - `Rule 3.1 `_ + - Required + - The character sequences /* and // shall not be used within a + comment + - + * - `Rule 3.2 `_ - Required - Line-splicing shall not be used in // comments - + * - `Rule 4.1 `_ + - Required + - Octal and hexadecimal escape sequences shall be terminated + - + + * - `Rule 4.2 `_ + - Advisory + - Trigraphs should not be used + - + * - `Rule 5.1 `_ - Required - External identifiers shall be distinct @@ -200,6 +221,21 @@ existing codebase are work-in-progress. have an explicit return statement with an expression - + * - `Rule 17.6 `_ + - Mandatory + - The declaration of an array parameter shall not contain the + static keyword between the [ ] + - + + * - `Rule 19.1 `_ + - Mandatory + - An object shall not be assigned or copied to an overlapping + object + - Be aware that the static analysis tool Eclair might report + several findings for Rule 19.1 of type "caution". These are + instances where Eclair is unable to verify that the code is valid + in regard to Rule 19.1. Caution reports are not violations. + * - `Rule 20.7 `_ - Required - Expressions resulting from the expansion of macro parameters