On 15/03/24 10:12, Jan Beulich wrote:
On 14.03.2024 17:35, Federico Serafini wrote:
--- a/docs/misra/deviations.rst
+++ b/docs/misra/deviations.rst
@@ -157,6 +157,11 @@ Deviations related to MISRA C:2012 Rules:
- xen/common/unxz.c
- xen/common/unzstd.c
+ * - R8.3
+ - Parameter name "unused" is deliberate and makes explicit the intention
+ of not using the parameter within the function.
+ - Tagged as `deliberate` for ECLAIR.
Before writing this, did you consider what is going to happen when a
function happens to have more than one unused parameter? They can't all
be named "unused", so some flexibility is needed here. E.g. by permitting
a number to be appended.
Right, thanks for the observation.
--
Federico Serafini, M.Sc.
Software Engineer, BUGSENG (http://bugseng.com)
