@@ -167,6 +167,10 @@ const-qualified."
-config=MC3R1.R8.3,reports+={deliberate,"any_area(any_loc(file(adopted_decompress_r8_3)))&&any_area(any_loc(file(^xen/include/xen/decompress\\.h$)))"}
-doc_end
+-doc_begin="Parameter name \"unused\" (with an optional numeric suffix) is deliberate and makes explicit the intention of not using such parameter within the function."
+-config=MC3R1.R8.3,reports+={deliberate, "any_area(^.*parameter `unused[0-9]*'.*$)"}
+-doc_end
+
-doc_begin="The following file is imported from Linux: ignore for now."
-file_tag+={adopted_time_r8_3,"^xen/arch/x86/time\\.c$"}
-config=MC3R1.R8.3,reports+={deliberate,"any_area(any_loc(file(adopted_time_r8_3)))&&(any_area(any_loc(file(^xen/include/xen/time\\.h$)))||any_area(any_loc(file(^xen/arch/x86/include/asm/setup\\.h$))))"}
@@ -157,6 +157,12 @@ Deviations related to MISRA C:2012 Rules:
- xen/common/unxz.c
- xen/common/unzstd.c
+ * - R8.3
+ - Parameter name "unused" (with an optional numeric suffix) is deliberate
+ and makes explicit the intention of not using such parameter within the
+ function.
+ - Tagged as `deliberate` for ECLAIR.
+
* - R8.4
- The definitions present in the files 'asm-offsets.c' for any architecture
are used to generate definitions for asm modules, and are not called by
Update ECLAIR configuration of MISRA C:2012 Rule 8.3 to deviate violations involving parameter name "unused" (with an optional numeric suffix): it makes explicit the intention of not using such parameter within the function. Signed-off-by: Federico Serafini <federico.serafini@bugseng.com> --- Changes in v2: - optional numeric suffix. --- automation/eclair_analysis/ECLAIR/deviations.ecl | 4 ++++ docs/misra/deviations.rst | 6 ++++++ 2 files changed, 10 insertions(+)