|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [xen master] automation/eclair_analysis: add Rule 18.6 to the clean guidelines
commit f2158c59245027abcebf72f250dac7ff8817ffaf
Author: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
AuthorDate: Wed Jul 31 14:41:52 2024 +0200
Commit: Stefano Stabellini <stefano.stabellini@xxxxxxx>
CommitDate: Fri Aug 2 14:24:30 2024 -0700
automation/eclair_analysis: add Rule 18.6 to the clean guidelines
MISRA C Rule 18.6 states: "The address of an object with automatic
storage shall not be copied to another object that persists after
the first object has ceased to exist."
The rule is set as monitored and tagged clean, in order to block
the CI on any violations that may arise, allowing the presence
of cautions (currently there are no violations).
No functional change.
Signed-off-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
Acked-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
---
automation/eclair_analysis/ECLAIR/monitored.ecl | 1 +
automation/eclair_analysis/ECLAIR/tagging.ecl | 1 +
2 files changed, 2 insertions(+)
diff --git a/automation/eclair_analysis/ECLAIR/monitored.ecl
b/automation/eclair_analysis/ECLAIR/monitored.ecl
index 9ffaebbdc3..8a7e3f3cea 100644
--- a/automation/eclair_analysis/ECLAIR/monitored.ecl
+++ b/automation/eclair_analysis/ECLAIR/monitored.ecl
@@ -32,6 +32,7 @@
-enable=MC3R1.R17.4
-enable=MC3R1.R17.5
-enable=MC3R1.R17.6
+-enable=MC3R1.R18.6
-enable=MC3R1.R19.1
-enable=MC3R1.R20.12
-enable=MC3R1.R20.13
diff --git a/automation/eclair_analysis/ECLAIR/tagging.ecl
b/automation/eclair_analysis/ECLAIR/tagging.ecl
index b829655ca0..e7b32773e6 100644
--- a/automation/eclair_analysis/ECLAIR/tagging.ecl
+++ b/automation/eclair_analysis/ECLAIR/tagging.ecl
@@ -67,6 +67,7 @@ MC3R1.R17.3||
MC3R1.R17.4||
MC3R1.R17.5||
MC3R1.R17.6||
+MC3R1.R18.6||
MC3R1.R18.8||
MC3R1.R20.2||
MC3R1.R20.3||
--
generated by git-patchbot for /home/xen/git/xen.git#master
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |