mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
Add more rules to docs/misra/rules.rst
As agreed during the last MISRA C discussion, I am adding the following MISRA C rules: 7.1, 7.3, 18.3. I am also adding 13.1 that was "agreed pending an analysis on the amount of violations". There are zero violations reported by cppcheck. Signed-off-by: Stefano Stabellini <stefano.stabellini@amd.com> Acked-by: Jan Beulich <jbeulich@suse.com>
This commit is contained in:
1 parent
78e93e6e57
commit
4a1bceded2
1 file changed
+20
@@ -138,6 +138,16 @@ existing codebase are work-in-progress.
|
|||||||
- Single-bit named bit fields shall not be of a signed type
|
- Single-bit named bit fields shall not be of a signed type
|
||||||
-
|
-
|
||||||
|
|
||||||
|
* - `Rule 7.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_07_01.c>`_
|
||||||
|
- Required
|
||||||
|
- Octal constants shall not be used
|
||||||
|
-
|
||||||
|
|
||||||
|
* - `Rule 7.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_07_03.c>`_
|
||||||
|
- Required
|
||||||
|
- The lowercase character l shall not be used in a literal suffix
|
||||||
|
-
|
||||||
|
|
||||||
* - `Rule 8.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_01.c>`_
|
* - `Rule 8.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_01.c>`_
|
||||||
- Required
|
- Required
|
||||||
- Types shall be explicitly specified
|
- Types shall be explicitly specified
|
||||||
@@ -200,6 +210,11 @@ existing codebase are work-in-progress.
|
|||||||
expression which has potential side effects
|
expression which has potential side effects
|
||||||
-
|
-
|
||||||
|
|
||||||
|
* - `Rule 13.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_01_1.c>`_
|
||||||
|
- Required
|
||||||
|
- Initializer lists shall not contain persistent side effects
|
||||||
|
-
|
||||||
|
|
||||||
* - `Rule 14.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_01.c>`_
|
* - `Rule 14.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_01.c>`_
|
||||||
- Required
|
- Required
|
||||||
- A loop counter shall not have essentially floating type
|
- A loop counter shall not have essentially floating type
|
||||||
@@ -227,6 +242,11 @@ existing codebase are work-in-progress.
|
|||||||
static keyword between the [ ]
|
static keyword between the [ ]
|
||||||
-
|
-
|
||||||
|
|
||||||
|
* - `Rule 18.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_03.c>`_
|
||||||
|
- Required
|
||||||
|
- The relational operators > >= < and <= shall not be applied to objects of pointer type except where they point into the same object
|
||||||
|
-
|
||||||
|
|
||||||
* - `Rule 19.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_19_01.c>`_
|
* - `Rule 19.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_19_01.c>`_
|
||||||
- Mandatory
|
- Mandatory
|
||||||
- An object shall not be assigned or copied to an overlapping
|
- An object shall not be assigned or copied to an overlapping
|
||||||
|
|||||||