Simone Ballarin 79b9c0cdd8 misra: modify deviations for empty and generated headers ...

This patch modifies deviations for Directive 4.10:
"Precautions shall be taken in order to prevent the contents of
a header file being included more than once"

This patch avoids the file-based deviation for empty headers, and
replaces it with a comment-based one using the format specified in
docs/misra/safe.json.

Generated headers are not generally safe against multi-inclusions,
whether a header is safe depends on the nature of the generated code
in the header. For that reason, this patch drops the deviation for
generated headers.

Signed-off-by: Simone Ballarin <simone.ballarin@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Signed-off-by: Alessandro Zucchelli <alessandro.zucchelli@bugseng.com>
Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com>

2024-07-30 11:54:42 +02:00

..

build

automation: adjust paths to docker files in documentation

2024-07-22 18:50:49 +01:00

eclair_analysis

misra: modify deviations for empty and generated headers

2024-07-30 11:54:42 +02:00

gitlab-ci

CI: Add Ubuntu 22.04 (Jammy) and 24.04 (Noble) testing

2024-07-12 18:58:45 +01:00

scripts

CI: Add Ubuntu 22.04 (Jammy) and 24.04 (Noble) testing

2024-07-12 18:58:45 +01:00

tests-artifacts

CI: Use debian:12-ppc64le for smoke testing

2024-07-11 19:26:47 +01:00