mbox series

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

Message ID cover.1696494834.git.nicola.vetrini@bugseng.com (mailing list archive)
Headers show
Series address violations of MISRA C:2012 Rule 11.9 | expand

Message

Nicola Vetrini Oct. 5, 2023, 8:45 a.m. UTC 
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