| Message ID | c4dddc9468224e037f42ef77eb8407ba9a71207e.1722429655.git.nicola.vetrini@bugseng.com (mailing list archive) |
|---|---|
| State | New |
| Headers | show |
| Series | [XEN] automation/eclair_analysis: add Rule 18.6 to the clean guidelines | expand |
On Wed, 31 Jul 2024, Nicola Vetrini wrote: > 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@bugseng.com> Acked-by: Stefano Stabellini <sstabellini@kernel.org> > --- > 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 9ffaebbdc378..8a7e3f3ceaa9 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 b829655ca0bc..e7b32773e60e 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|| > -- > 2.34.1 >
diff --git a/automation/eclair_analysis/ECLAIR/monitored.ecl b/automation/eclair_analysis/ECLAIR/monitored.ecl index 9ffaebbdc378..8a7e3f3ceaa9 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 b829655ca0bc..e7b32773e60e 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||
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@bugseng.com> --- automation/eclair_analysis/ECLAIR/monitored.ecl | 1 + automation/eclair_analysis/ECLAIR/tagging.ecl | 1 + 2 files changed, 2 insertions(+)