diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst index e99cb81089bc..4a144da8d66e 100644 --- a/docs/misra/rules.rst +++ b/docs/misra/rules.rst @@ -561,6 +561,13 @@ maintainers if you want to suggest a change. - The features of shall not be used - + * - `Rule 17.2 `_ + - Required + - Functions shall not call themselves, either directly or indirectly + - Limited forms of recursion are allowed if the recursion is bound + (there is an upper limit and the upper limit is enforced.) The + bounding should be explained in a comment or in a deviation. + * - `Rule 17.3 `_ - Mandatory - A function shall not be declared implicitly @@ -593,6 +600,12 @@ maintainers if you want to suggest a change. submitting new patches please try to decrease the number of violations when possible. + * - `Rule 18.1 `_ + - Required + - A pointer resulting from arithmetic on a pointer operand shall + address an element of the same array as that pointer operand + - + * - `Rule 18.2 `_ - Required - Subtraction between pointers shall only be applied to pointers