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 deviations.rst, is in
__ACCESS_ONCE to do a scalar type check.
Changes in v2:
- dropped patch 2, as it has already been committed to [1]
- rebased against [2] to insert the deviation record in the newly created
deviations.rst
[1] https://gitlab.com/xen-project/people/andyhhp/xen/-/commits/for-next
[2] https://marc.info/?l=xen-devel&m=169686613720371&w=2
Nicola Vetrini (1):
xen: introduce a deviation for Rule 11.9
automation/eclair_analysis/ECLAIR/deviations.ecl | 9 +++++++++
docs/misra/deviations.rst | 5 +++++
xen/include/xen/compiler.h | 5 ++++-
xen/include/xen/kernel.h | 2 +-
4 files changed, 19 insertions(+), 2 deletions(-)
--
2.34.1