[XEN PATCH] automation/eclair_analysis: add Rule 18.6 to the clean guidelines

Nicola Vetrini posted 1 patch 3 months, 3 weeks ago
Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/c4dddc9468224e037f42ef77eb8407ba9a71207e.1722429655.git.nicola.vetrini@bugseng.com
automation/eclair_analysis/ECLAIR/monitored.ecl | 1 +
automation/eclair_analysis/ECLAIR/tagging.ecl   | 1 +
2 files changed, 2 insertions(+)
[XEN PATCH] automation/eclair_analysis: add Rule 18.6 to the clean guidelines
Posted by Nicola Vetrini 3 months, 3 weeks ago
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(+)

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
Re: [XEN PATCH] automation/eclair_analysis: add Rule 18.6 to the clean guidelines
Posted by Stefano Stabellini 3 months, 3 weeks ago
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
>