Federico Serafini a128d8da91 automation/eclair: add deviations for MISRA C:2012 Rule 16.3 ...

MISRA C:2012 Rule 16.3 states that an unconditional break statement
shall terminate every switch-clause.

Update ECLAIR configuration to take into account:
  - continue, goto, return statements;
  - functions with attribute noreturn;
  - pseudo-keyword fallthrough;
  - macro BUG();
  - comments.

Update docs/misra/deviations.rst accordingly.

Signed-off-by: Federico Serafini <federico.serafini@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>

2023-12-19 17:08:21 -08:00

..

build

automation/alpine: add elfutils-dev

2023-12-05 18:02:51 +00:00

eclair_analysis

automation/eclair: add deviations for MISRA C:2012 Rule 16.3

2023-12-19 17:08:21 -08:00

gitlab-ci

automation/eclair: improve scheduled analyses

2023-11-30 18:59:30 -08:00

scripts

automation: Switch u-boot boot command to bootz for arm32 tests

2023-11-29 18:38:21 -08:00

tests-artifacts

CI: Fix fallout from adding elfutils-dev to the build container

2023-12-05 23:02:18 +00:00