From nobody Fri Nov 22 08:03:51 2024 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 171905332472626.320700463105595; Sat, 22 Jun 2024 03:48:44 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.745825.1152910 (Exim 4.92) (envelope-from ) id 1sKyI6-0006nG-Ny; Sat, 22 Jun 2024 10:48:18 +0000 Received: by outflank-mailman (output) from mailman id 745825.1152910; Sat, 22 Jun 2024 10:48:18 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1sKyI6-0006n9-KZ; Sat, 22 Jun 2024 10:48:18 +0000 Received: by outflank-mailman (input) for mailman id 745825; Sat, 22 Jun 2024 10:48:17 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1sKyI5-0006mn-Sq for xen-devel@lists.xenproject.org; Sat, 22 Jun 2024 10:48:17 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id ec6d9085-3084-11ef-b4bb-af5377834399; Sat, 22 Jun 2024 12:48:14 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-87-12-240-97.business.telecomitalia.it [87.12.240.97]) by support.bugseng.com (Postfix) with ESMTPSA id 7C3E74EE0738; Sat, 22 Jun 2024 12:48:12 +0200 (CEST) X-Outflank-Mailman: Message body and most headers restored to incoming version 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: ec6d9085-3084-11ef-b4bb-af5377834399 From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Simone Ballarin , Doug Goldstein , Stefano Stabellini , Andrew Cooper , George Dunlap , Jan Beulich , Julien Grall , Nicola Vetrini Subject: [XEN PATCH] automation/eclair: configure Rule 13.6 and custom service B.UNEVALEFF Date: Sat, 22 Jun 2024 12:48:05 +0200 Message-Id: <73b4105bf007e5bd0f351ec70711ba7219f31eb3.1719053209.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1719053327302100001 Content-Type: text/plain; charset="utf-8" Rule 13.6 states that "The operand of the `sizeof' operator shall not contain any expression which has potential side effects". Define service B.UNEVALEFF as an extension of Rule 13.6 to check for unevalued side effects also for typeof and alignof operators. Update ECLAIR configuration to deviate uses of macro chk_fld for Rule 13.6 and alternative_v?call[0-9] for both Rule 13.6 and B.UNEVALEFF. Add service B.UNEVALEFF to the accepted.ecl guidelines and check "violations" in the weekly analysis. Signed-off-by: Federico Serafini Signed-off-by: Nicola Vetrini --- automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl | 10 ++++++++++ .../eclair_analysis/ECLAIR/accepted_guidelines.sh | 2 ++ automation/eclair_analysis/ECLAIR/analysis.ecl | 1 + automation/eclair_analysis/ECLAIR/deviations.ecl | 10 ++++++++++ docs/misra/deviations.rst | 12 ++++++++++++ 5 files changed, 35 insertions(+) create mode 100644 automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl diff --git a/automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl b/automation= /eclair_analysis/ECLAIR/B.UNEVALEFF.ecl new file mode 100644 index 0000000000..92d8db8986 --- /dev/null +++ b/automation/eclair_analysis/ECLAIR/B.UNEVALEFF.ecl @@ -0,0 +1,10 @@ +-clone_service=3DMC3R1.R13.6,B.UNEVALEFF + +-config=3DB.UNEVALEFF,summary=3D"The operand of the `alignof' and `typeof'= operators shall not contain any expression which has potential side effec= ts" +-config=3DB.UNEVALEFF,stmt_child_matcher=3D +{"stmt(node(utrait_expr)&&operator(alignof))", expr, 0, "stmt(any())", {}}, +{"stmt(node(utrait_type)&&operator(alignof))", type, 0, "stmt(any())", {}}, +{"stmt(node(utrait_expr)&&operator(preferred_alignof))", expr, 0, "stmt(an= y())", {}}, +{"stmt(node(utrait_type)&&operator(preferred_alignof))", type, 0, "stmt(an= y())", {}}, +{"type(node(typeof_expr))", expr, 0, "stmt(any())", {}}, +{"type(node(typeof_type))", type, 0, "stmt(any())", {}} diff --git a/automation/eclair_analysis/ECLAIR/accepted_guidelines.sh b/aut= omation/eclair_analysis/ECLAIR/accepted_guidelines.sh index b308bd4cda..368135122c 100755 --- a/automation/eclair_analysis/ECLAIR/accepted_guidelines.sh +++ b/automation/eclair_analysis/ECLAIR/accepted_guidelines.sh @@ -11,3 +11,5 @@ accepted_rst=3D$1 =20 grep -Eo "\`(Dir|Rule) [0-9]+\.[0-9]+" ${accepted_rst} \ | sed -e 's/`Rule /MC3R1.R/' -e 's/`Dir /MC3R1.D/' -e 's/.*/-enable= =3D&/' > ${script_dir}/accepted.ecl + +echo "-enable=3DB.UNEVALEFF" >> ${script_dir}/accepted.ecl diff --git a/automation/eclair_analysis/ECLAIR/analysis.ecl b/automation/ec= lair_analysis/ECLAIR/analysis.ecl index 9134e59617..df0b551812 100644 --- a/automation/eclair_analysis/ECLAIR/analysis.ecl +++ b/automation/eclair_analysis/ECLAIR/analysis.ecl @@ -52,6 +52,7 @@ their Standard Library equivalents." -eval_file=3Dadopted.ecl -eval_file=3Dout_of_scope.ecl =20 +-eval_file=3DB.UNEVALEFF.ecl -eval_file=3Ddeviations.ecl -eval_file=3Dcall_properties.ecl -eval_file=3Dtagging.ecl diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/= eclair_analysis/ECLAIR/deviations.ecl index e2653f77eb..6bdfe7c883 100644 --- a/automation/eclair_analysis/ECLAIR/deviations.ecl +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl @@ -328,6 +328,16 @@ of the short-circuit evaluation strategy of such logic= al operators." -config=3DMC3R1.R13.5,reports+=3D{disapplied,"any()"} -doc_end =20 +-doc_begin=3D"Macros alternative_v?call[0-9] use sizeof and typeof to chec= k that th argument types match the corresponding parameter ones." +-config=3DMC3R1.R13.6,reports+=3D{deliberate,"any_area(any_loc(any_exp(mac= ro(^alternative_vcall[0-9]$))&&file(^xen/arch/x86.*$)))"} +-config=3DB.UNEVALEFF,reports+=3D{deliberate,"any_area(any_loc(any_exp(mac= ro(^alternative_v?call[0-9]$))&&file(^xen/arch/x86.*$)))"} +-doc_end + +-doc_begin=3D"Macro chk_fld is only used to introduce BUILD_BUG_ON checks = in very specific cases where the usage is correct and can be checked by cod= e inspection. +The BUILD_BUG_ON checks check that EFI_TIME and struct xenpf_efi_time fiel= ds match." +-config=3DMC3R1.R13.6,reports+=3D{deliberate,"any_area(any_loc(any_exp(mac= ro(^chk_fld$))&&file(^xen/common/efi/runtime\\.c$)))"} +-doc_end + # # Series 14 # diff --git a/docs/misra/deviations.rst b/docs/misra/deviations.rst index 36959aa44a..122e779f30 100644 --- a/docs/misra/deviations.rst +++ b/docs/misra/deviations.rst @@ -279,6 +279,18 @@ Deviations related to MISRA C:2012 Rules: the short-circuit evaluation strategy for logical operators. - Project-wide deviation; tagged as `disapplied` for ECLAIR. =20 + * - R13.6 + - On x86, macros alternative_vcall[0-9] use sizeof to type-check the + aguments of \"func\" without evaluating them. + - Tagged as `deliberate` for ECLAIR. + + * - R13.6 + - Macro chk_fld is only used to introduce BUILD_BUG_ON checks in very + specific cases where by code inspection you can see that its usage = is + correct. The BUILD_BUG_ON checks check that EFI_TIME and + struct xenpf_efi_time fields match. + - Tagged as `deliberate` for ECLAIR. + * - R14.2 - The severe restrictions imposed by this rule on the use of 'for' statements are not counterbalanced by the presumed facilitation of = the --=20 2.34.1