From nobody Thu Nov 21 14:54:02 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; dkim=pass; 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; dmarc=pass(p=quarantine dis=none) header.from=kernel.org ARC-Seal: i=1; a=rsa-sha256; t=1731716616; cv=none; d=zohomail.com; s=zohoarc; b=X35cuGj6akowt7WC3StAAsmQlXhg/U41UCKiCCwYCNDcloqFhpvbMVm1dCwJ5s2aaRMYcyGFbRI1xJ0ew479vO8/tbESryS8ytCPkYThjjZGc5qDRzNf2XlrFiGKG846DbcMjCnjuJu+kuJ9Ayicsrp8RhIag9CCWI3Hi44J6T4= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1731716616; h=Content-Type:Cc:Cc:Date:Date:From:From:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=RNVnrpAfGnC3UAftUJF8V295xDfMFuLfHU4PQ7sh1K4=; b=Og/ugktdbB4N/twiflBgKxiX1Fm18TBaxovB8/S/evuoaZ2odr0NyxukcbuxwYdZx45VRvjTnp4GLFIkzcJ+SrXo4084CbU/6TtUkeEzmzKH5r81ehRrNBl2UU4i1wlXqTO/VUPNJXkpIPpjr6DxwNZhibHjsbCh7qDAbJitBRY= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; 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; dmarc=pass header.from= (p=quarantine dis=none) Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1731716616074124.5720172059647; Fri, 15 Nov 2024 16:23:36 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.838506.1254500 (Exim 4.92) (envelope-from ) id 1tC6ar-00026B-QH; Sat, 16 Nov 2024 00:23:17 +0000 Received: by outflank-mailman (output) from mailman id 838506.1254500; Sat, 16 Nov 2024 00:23:17 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tC6ar-000264-Lb; Sat, 16 Nov 2024 00:23:17 +0000 Received: by outflank-mailman (input) for mailman id 838506; Sat, 16 Nov 2024 00:23:16 +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 1tC6aq-00025y-4l for xen-devel@lists.xenproject.org; Sat, 16 Nov 2024 00:23:16 +0000 Received: from dfw.source.kernel.org (dfw.source.kernel.org [139.178.84.217]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id f6287c0c-a3b0-11ef-a0c7-8be0dac302b0; Sat, 16 Nov 2024 01:23:12 +0100 (CET) Received: from smtp.kernel.org (transwarp.subspace.kernel.org [100.75.92.58]) by dfw.source.kernel.org (Postfix) with ESMTP id 2F9B35C583B; Sat, 16 Nov 2024 00:22:26 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id A30FAC4CECF; Sat, 16 Nov 2024 00:23:08 +0000 (UTC) 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: f6287c0c-a3b0-11ef-a0c7-8be0dac302b0 X-Custom-Connection: eyJyZW1vdGVpcCI6IjEzOS4xNzguODQuMjE3IiwiaGVsbyI6ImRmdy5zb3VyY2Uua2VybmVsLm9yZyJ9 X-Custom-Transaction: eyJpZCI6ImY2Mjg3YzBjLWEzYjAtMTFlZi1hMGM3LThiZTBkYWMzMDJiMCIsInRzIjoxNzMxNzE2NTkyLjUxODEwMiwic2VuZGVyIjoic3N0YWJlbGxpbmlAa2VybmVsLm9yZyIsInJlY2lwaWVudCI6Inhlbi1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZyJ9 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1731716590; bh=8l5ENyPPbvPs3HvVomIwy9aQjjI4LuRXkCUs3nvAmo8=; h=Date:From:To:cc:Subject:From; b=pErHPJ93aASnejwyEQbP+b+iN/957ai6aCHhU+vRZYTUq75e1HvzVSkdivlqNpO6C f7RMTaWOqnTDEoCpnKzKMK6KtnL47C3tKQFfH+n1JO21//VlhgKNp9Jgim4IxX2P51 ogLX17A3Osmdk/2kuuNEPFdodi/cZmYQIq4rxl9vbOpTKbVWDbwIc657c8IiAOgI6q lyGiOGNB88k7GbH7T7UibsXqRj2sfm+x6/RZKZG2xq0x+jaEYo6/ualxBd0SZcmvNY R5R6JGwHLDFzqEYlanEmsZcIknNy0gCIdBQNzo2prcYisa8jOD9B1Kg6Dew2l0P0/Z /MYZ5dnf46klA== Date: Fri, 15 Nov 2024 16:23:07 -0800 (PST) From: Stefano Stabellini X-X-Sender: sstabellini@ubuntu-linux-20-04-desktop To: xen-devel@lists.xenproject.org cc: sstabellini@kernel.org, alessandro.zucchelli@bugseng.com, simone.ballarin@bugseng.com, consulting@bugseng.com, jbeulich@suse.com, andrew.cooper3@citrix.com, julien@xen.org, roger.pau@citrix.com, bertrand.marquis@arm.com, michal.orzel@amd.com Subject: [PATCH] misra: increase identifiers length to 64 Message-ID: User-Agent: Alpine 2.22 (DEB 394 2020-01-19) MIME-Version: 1.0 X-ZohoMail-DKIM: pass (identity @kernel.org) X-ZM-MESSAGEID: 1731716617886116600 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Currently the identifiers characters limit is arbitrarily set to 40. It causes a few violations as we have some identifiers longer than 40. Increase the limit to another rather arbitrary limit of 64. Thanks to this change, we remove a few violations, getting us one step closer to marking Rules 5.2 and 5.4 as clean. Also update the ECLAIR config that was actually set to 63 as character limit. Signed-off-by: Stefano Stabellini diff --git a/automation/eclair_analysis/ECLAIR/toolchain.ecl b/automation/e= clair_analysis/ECLAIR/toolchain.ecl index 86e9a79b52..8fb1778bce 100644 --- a/automation/eclair_analysis/ECLAIR/toolchain.ecl +++ b/automation/eclair_analysis/ECLAIR/toolchain.ecl @@ -155,8 +155,8 @@ -doc_end =20 -doc_begin=3D"See Section \"4.3 Identifiers\" of "GCC_MANUAL"." --config=3DSTD.extidsig, behavior+=3D{c99, GCC_ARM64, "63"} --config=3DSTD.extidsig, behavior+=3D{c99, GCC_X86_64, "63"} +-config=3DSTD.extidsig, behavior+=3D{c99, GCC_ARM64, "64"} +-config=3DSTD.extidsig, behavior+=3D{c99, GCC_X86_64, "64"} -doc_end =20 # diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst index 4a144da8d6..3ed5801bff 100644 --- a/docs/misra/rules.rst +++ b/docs/misra/rules.rst @@ -154,7 +154,7 @@ maintainers if you want to suggest a change. * - `Rule 5.1 `_ - Required - External identifiers shall be distinct - - The Xen characters limit for identifiers is 40. Public headers + - The Xen characters limit for identifiers is 64. Public headers (xen/include/public/) are allowed to retain longer identifiers for backward compatibility. =20 @@ -162,7 +162,7 @@ maintainers if you want to suggest a change. - Required - Identifiers declared in the same scope and name space shall be distinct - - The Xen characters limit for identifiers is 40. Public headers + - The Xen characters limit for identifiers is 64. Public headers (xen/include/public/) are allowed to retain longer identifiers for backward compatibility. =20 @@ -177,7 +177,7 @@ maintainers if you want to suggest a change. * - `Rule 5.4 `_ - Required - Macro identifiers shall be distinct - - The Xen characters limit for macro identifiers is 40. Public + - The Xen characters limit for macro identifiers is 64. Public headers (xen/include/public/) are allowed to retain longer identifiers for backward compatibility.