From patchwork Wed Jul 31 12:41:52 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Nicola Vetrini X-Patchwork-Id: 13748698 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 21DB5C3DA64 for ; Wed, 31 Jul 2024 12:42:10 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.768564.1179396 (Exim 4.92) (envelope-from ) id 1sZ8eV-0007e9-Ry; Wed, 31 Jul 2024 12:41:59 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 768564.1179396; Wed, 31 Jul 2024 12:41:59 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1sZ8eV-0007e2-PR; Wed, 31 Jul 2024 12:41:59 +0000 Received: by outflank-mailman (input) for mailman id 768564; Wed, 31 Jul 2024 12:41:58 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1sZ8eU-0007du-Pz for xen-devel@lists.xenproject.org; Wed, 31 Jul 2024 12:41:58 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 4607791d-4f3a-11ef-bc01-fd08da9f4363; Wed, 31 Jul 2024 14:41:57 +0200 (CEST) Received: from nico.bugseng.com (unknown [46.228.253.214]) by support.bugseng.com (Postfix) with ESMTPSA id 619684EE0760; Wed, 31 Jul 2024 14:41:56 +0200 (CEST) X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: 4607791d-4f3a-11ef-bc01-fd08da9f4363 From: Nicola Vetrini To: xen-devel@lists.xenproject.org Cc: sstabellini@kernel.org, michal.orzel@amd.com, xenia.ragiadakou@amd.com, ayan.kumar.halder@amd.com, consulting@bugseng.com, Nicola Vetrini , Simone Ballarin , Doug Goldstein Subject: [XEN PATCH] automation/eclair_analysis: add Rule 18.6 to the clean guidelines Date: Wed, 31 Jul 2024 14:41:52 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 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 Acked-by: Stefano Stabellini --- 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||