[XEN PATCH] automation/eclair_analysis: fix typo in deviation.

Nicola Vetrini posted 1 patch 4 months, 2 weeks ago
Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/d9ec973290747665905176939aef7749d5550734.1703068956.git.nicola.vetrini@bugseng.com
automation/eclair_analysis/ECLAIR/deviations.ecl | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
[XEN PATCH] automation/eclair_analysis: fix typo in deviation.
Posted by Nicola Vetrini 4 months, 2 weeks ago
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>
---
 automation/eclair_analysis/ECLAIR/deviations.ecl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/eclair_analysis/ECLAIR/deviations.ecl
index 6806f0eea019..6d32ff016137 100644
--- a/automation/eclair_analysis/ECLAIR/deviations.ecl
+++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
@@ -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
-- 
2.34.1
Re: [XEN PATCH] automation/eclair_analysis: fix typo in deviation.
Posted by Stefano Stabellini 4 months, 2 weeks ago
On Wed, 20 Dec 2023, Nicola Vetrini wrote:
> 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>