misra: deviations of Rule 16.4

[XEN PATCH 0/2] misra: deviations of Rule 16.4

Federico Serafini posted 2 patches 2 weeks, 2 days ago

Download series mbox

Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/cover.1714727807.git.federico.serafini@bugseng.com

automation/eclair_analysis/ECLAIR/deviations.ecl |  8 ++++++++
docs/misra/deviations.rst                        | 13 +++++++++++++
docs/misra/rules.rst                             | 14 ++++++++++++--
3 files changed, 33 insertions(+), 2 deletions(-)

Expand all Fold all

[XEN PATCH 0/2] misra: deviations of Rule 16.4

Posted by Federico Serafini 2 weeks, 2 days ago

Define "switch-clause" in terms of the C specification.
Deviate Rule 16.4.

Federico Serafini (2):
  docs/misra: add Terms & Definitions section to rules.rst
  automation/eclair: add deviation for Rule 16.4

 automation/eclair_analysis/ECLAIR/deviations.ecl |  8 ++++++++
 docs/misra/deviations.rst                        | 13 +++++++++++++
 docs/misra/rules.rst                             | 14 ++++++++++++--
 3 files changed, 33 insertions(+), 2 deletions(-)

-- 
2.34.1