[xen staging] automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7

[patchbot@xxxxxxx]

commit b87697fc1a6fbc3f2e1570af5a58e36a42c333cf
Author:     Federico Serafini <federico.serafini@xxxxxxxxxxx>
AuthorDate: Fri Feb 23 10:06:59 2024 +0100
Commit:     Stefano Stabellini <stefano.stabellini@xxxxxxx>
CommitDate: Thu Feb 29 15:23:31 2024 -0800

    automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7
    
    Update ECLAIR configuration to fully deviate Rules 5.7 and 18.7
    as agreed during MISRA meeetings.
    
    Signed-off-by: Federico Serafini <federico.serafini@xxxxxxxxxxx>
    Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
---
 automation/eclair_analysis/ECLAIR/deviations.ecl | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl 
b/automation/eclair_analysis/ECLAIR/deviations.ecl
index fd32ff8a9c..02eae39786 100644
--- a/automation/eclair_analysis/ECLAIR/deviations.ecl
+++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
@@ -107,6 +107,11 @@ number of guest paging levels."
 
-config=MC3R1.R5.6,reports+={deliberate,"any_area(any_loc(file(adopted_r5_6)))"}
 -doc_end
 
+-doc_begin="The project intentionally reuses tag names in order to have 
identifiers matching the applicable external specifications as well as 
established internal conventions.
+As there is little possibility for developer confusion not resulting into 
compilation errors, the risk of renaming outweighs the potential advantages of 
compliance."
+-config=MC3R1.R5.7,reports+={deliberate,"any()"}
+-doc_end
+
 #
 # Series 7.
 #
@@ -373,6 +378,15 @@ explicit comment indicating the fallthrough intention is 
present."
 -config=MC3R1.R16.3,reports+={safe, "any_area(end_loc(any_exp(text(^(?s).*/\\* 
[fF]all ?through.? \\*/.*$,0..1))))"}
 -doc_end
 
+#
+# Series 18.
+#
+
+-doc_begin="Flexible array members are deliberately used and XEN developers 
are aware of the dangers related to them:
+unexpected result when the structure is given as argument to a sizeof() 
operator and the truncation in assignment between structures."
+-config=MC3R1.R18.7,reports+={deliberate, "any()"}
+-doc_end
+
 #
 # Series 20.
 #
--
generated by git-patchbot for /home/xen/git/xen.git#staging