[v1] address violations of MISRA C:2012 Rule 11.9

[XEN PATCH][for-4.19 0/2] address violations of MISRA C:2012 Rule 11.9

Nicola Vetrini posted 2 patches 7 months ago

Diff against v2
Download series mbox

Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/cover.1696494834.git.nicola.vetrini@bugseng.com

There is a newer version of this series

.../eclair_analysis/ECLAIR/deviations.ecl     | 23 +++++++------------
docs/misra/rules.rst                          |  3 ++-
xen/include/xen/compiler.h                    |  5 +++-
xen/include/xen/kernel.h                      |  2 +-
xen/include/xen/spinlock.h                    |  2 +-
5 files changed, 16 insertions(+), 19 deletions(-)

Expand all Fold all

[XEN PATCH][for-4.19 0/2] address violations of MISRA C:2012 Rule 11.9

Posted by Nicola Vetrini 7 months ago

Rule 11.9 forbids the usage of '0' as a null pointer constant, therefore uses of
this pattern have been amended. One exception, recorded in rules.rst, is in
__ACCESS_ONCE to do a scalar type check.

The series only touches common headers, therefore it should be safe to include
in the for-4.19 branch.

Nicola Vetrini (2):
  xen: introduce a deviation for Rule 11.9
  xen/spinlock: fix use of 0 as a null pointer constant

 .../eclair_analysis/ECLAIR/deviations.ecl     | 23 +++++++------------
 docs/misra/rules.rst                          |  3 ++-
 xen/include/xen/compiler.h                    |  5 +++-
 xen/include/xen/kernel.h                      |  2 +-
 xen/include/xen/spinlock.h                    |  2 +-
 5 files changed, 16 insertions(+), 19 deletions(-)

--
2.34.1