diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst index 29a777938a..8f0e4d3f25 100644 --- a/docs/misra/rules.rst +++ b/docs/misra/rules.rst @@ -82,6 +82,14 @@ maintainers if you want to suggest a change. - Summary - Notes + * - `Rule 1.1 `_ + - Required + - The program shall contain no violations of the standard C syntax + and constraints, and shall not exceed the implementation's + translation limits + - We make use of several compiler extensions as documented by + `C-language-toolchain.rst `_ + * - `Rule 1.3 `_ - Required - There shall be no occurrence of undefined or critical unspecified @@ -156,6 +164,11 @@ maintainers if you want to suggest a change. headers (xen/include/public/) are allowed to retain longer identifiers for backward compatibility. + * - `Rule 5.6 `_ + - Required + - A typedef name shall be a unique identifier + - + * - `Rule 6.1 `_ - Required - Bit-fields shall only be declared with an appropriate type