]> xenbits.xensource.com Git - people/andrewcoop/xen.git/commitdiff
automation/eclair_analysis: fix typo in deviation.
authorNicola Vetrini <nicola.vetrini@bugseng.com>
Wed, 20 Dec 2023 10:44:25 +0000 (11:44 +0100)
committerStefano Stabellini <stefano.stabellini@amd.com>
Wed, 20 Dec 2023 18:18:45 +0000 (10:18 -0800)
Unwanted leading '+'-s cause the deviation not to work as expected,
leading to wrong analysis counts.

Fixes: 11126964d82f ("automation/eclair_analysis: avoid violation of MISRA Rule 2.1")
Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
automation/eclair_analysis/ECLAIR/deviations.ecl

index 4b5140fe3fe4f528490e320575647dfe321a6c7f..fd32ff8a9cae4b045387ed048756362651b88623 100644 (file)
@@ -28,10 +28,10 @@ not executable, and therefore it is safe for them to be unreachable."
 -config=MC3R1.R2.1,ignored_stmts+={"any()", "pure_decl()"}
 -doc_end
 
-+-doc_begin="The following autogenerated file is not linked deliberately."
-+-file_tag+={C_runtime_failures,"^automation/eclair_analysis/C-runtime-failures\\.rst\\.c$"}
-+-config=MC3R1.R2.1,reports+={deliberate, "any_area(any_loc(file(C_runtime_failures)))"}
-+-doc_end
+-doc_begin="The following autogenerated file is not linked deliberately."
+-file_tag+={C_runtime_failures,"^automation/eclair_analysis/C-runtime-failures\\.rst\\.c$"}
+-config=MC3R1.R2.1,reports+={deliberate, "any_area(any_loc(file(C_runtime_failures)))"}
+-doc_end
 
 -doc_begin="Proving compliance with respect to Rule 2.2 is generally impossible:
 see https://arxiv.org/abs/2212.13933 for details. Moreover, peer review gives us