[xen staging] automation/eclair: fix deviation of MISRA C Rule 16.3

[patchbot@xxxxxxx]

commit 5f6548ea1fe2b2b8dc72a0362c72442e62955213
Author:     Federico Serafini <federico.serafini@xxxxxxxxxxx>
AuthorDate: Tue Jul 30 11:52:31 2024 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Tue Jul 30 11:52:31 2024 +0200

    automation/eclair: fix deviation of MISRA C Rule 16.3
    
    Add missing escape for the final dot of the fallthrough comment,
    extend the search of a fallthrough comment up to 2 lines after the last
    statement and improve the text of the justification.
    
    Fixes: a128d8da91 ("automation/eclair: add deviations for MISRA C:2012 Rule 
16.3")
    Reported-by: Jan Beulich <jbeulich@xxxxxxxx>
    Signed-off-by: Federico Serafini <federico.serafini@xxxxxxxxxxx>
    Acked-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
---
 automation/eclair_analysis/ECLAIR/deviations.ecl | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl 
b/automation/eclair_analysis/ECLAIR/deviations.ecl
index 0af1cb93d1..603480161e 100644
--- a/automation/eclair_analysis/ECLAIR/deviations.ecl
+++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
@@ -482,9 +482,8 @@ safe."
 -config=MC3R1.R16.3,reports+={safe, 
"any_area(end_loc(any_exp(text(/BUG\\(\\);/))))"}
 -doc_end
 
--doc_begin="Switch clauses not ending with the break statement are safe if an
-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_begin="Switch clauses ending with an explicit comment indicating the 
fallthrough intention are safe."
+-config=MC3R1.R16.3,reports+={safe, "any_area(end_loc(any_exp(text(^(?s).*/\\* 
[fF]all ?through\\.? \\*/.*$,0..2))))"}
 -doc_end
 
 -doc_begin="Switch statements having a controlling expression of enum type 
deliberately do not have a default case: gcc -Wall enables -Wswitch which warns 
(and breaks the build as we use -Werror) if one of the enum labels is missing 
from the switch."
--
generated by git-patchbot for /home/xen/git/xen.git#staging