[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[xen staging] 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#staging



 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.