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
