From nobody Mon Nov 25 05:32:21 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=none dis=none) header.from=kernel.org ARC-Seal: i=1; a=rsa-sha256; t=1715384008; cv=none; d=zohomail.com; s=zohoarc; b=Q1PF/AtDXr7CLqZcl6YNVozM3+BldzE9pyMQNYWY85QQX3c9QMWq1W6jWINa8ZXAFhr2cdFAQQItVXK28zmEKIci6WOEdrUvPr6w+mwjDcWqVKbixjt0zTqUvIwLpOTJdionVvcP9huuPjbLFoU8DEyGDSSrPIkXCqOMziSSRfU= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1715384008; 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=yiHgnPJsiKDdBlgbE+buLkIQdWfeWaOI+gT2wQlcWFI=; b=fD1pQhnfyezPrVbHNbK6K4MFrGNCEWDdyQ7lEth2lFswDSIaV+kvf2PpPL8tdJ56ni5QiBt26z10HVqpASt17tzCZgN9wsA3OSRa9cGbG/px5MF1uPxWkNOzo7Oleq/Y5YrGkfCPAF+rmcn0ZgN6EHL7n3ykt3cCaXitbVUGOes= 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=none dis=none) Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1715384008037170.91153238175275; Fri, 10 May 2024 16:33:28 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.720125.1123146 (Exim 4.92) (envelope-from ) id 1s5ZjO-0002jX-PH; Fri, 10 May 2024 23:32:50 +0000 Received: by outflank-mailman (output) from mailman id 720125.1123146; Fri, 10 May 2024 23:32:50 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1s5ZjO-0002jQ-MC; Fri, 10 May 2024 23:32:50 +0000 Received: by outflank-mailman (input) for mailman id 720125; Fri, 10 May 2024 23:32:49 +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 1s5ZjN-0002jK-Na for xen-devel@lists.xenproject.org; Fri, 10 May 2024 23:32:49 +0000 Received: from sin.source.kernel.org (sin.source.kernel.org [145.40.73.55]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 9a99d379-0f25-11ef-909d-e314d9c70b13; Sat, 11 May 2024 01:32:47 +0200 (CEST) Received: from smtp.kernel.org (transwarp.subspace.kernel.org [100.75.92.58]) by sin.source.kernel.org (Postfix) with ESMTP id 3FF69CE1F15; Fri, 10 May 2024 23:32:44 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 8014BC113CC; Fri, 10 May 2024 23:32:41 +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: 9a99d379-0f25-11ef-909d-e314d9c70b13 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1715383962; bh=VFyqvmvkheA5VgmNYOdDhu9yAtABDX1w7nVHdXCv7do=; h=Date:From:To:cc:Subject:From; b=t0Tg5HnuM3T+kbZiaFHtDFvoWj/6KOkQldZ4+kmkGkGpbVBB+H1zBCT7a7neFJPL8 84uu18y860jBla1wL0V/SvxdaPc1/8xY4p19meNFzrPxYlGweEAyAWH2ltuGMKym75 d/+JTBvIDliPHxHxLXd22Ctcpegq3gpk9Cl3NlQkOF+F8qK80WssdBUbeQXZPQdce/ ECIdop3OdvyjjXRC+XI/7lsLhUGdJHr8ZX90hUxvqU3a62qUeQLAVHCOnRZFJmfmFA GoTpqoSm+Xqv9gZ7GVNK0rQAz+kbe+9TWzBPlOO/m1LsWXYbej8zAp+ajczhfg0wQ5 y/vA6z061yhjQ== Date: Fri, 10 May 2024 16:32:40 -0700 (PDT) From: Stefano Stabellini X-X-Sender: sstabellini@ubuntu-linux-20-04-desktop To: xen-devel@lists.xenproject.org cc: andrew.cooper3@citrix.com, george.dunlap@citrix.com, jbeulich@suse.com, julien@xen.org, michal.orzel@amd.com, bertrand.marquis@arm.com, roger.pau@citrix.com Subject: [PATCH] docs/misra: replace R13.1 with R13.2 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: 1715384009598100001 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" After looking closely at the R13.1 violations and potential fixes or deviations, upon further reflection and discussions, we realized that it is R13.2, limited to initializers list, that we want to comply with. Link: https://marc.info/?l=3Dxen-devel&m=3D170751643325805 Signed-off-by: Stefano Stabellini diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst index d3b70fdf04..c02dea9af8 100644 --- a/docs/misra/rules.rst +++ b/docs/misra/rules.rst @@ -449,10 +449,11 @@ maintainers if you want to suggest a change. parameter declared as "array of type" - =20 - * - `Rule 13.1 `_ + * - `Rule 13.2 `_ - Required - - Initializer lists shall not contain persistent side effects - - + - The value of an expression and its persistent side-effects shall + be the same under all permitted evaluation orders + - Limit the scope of this rule to initializer lists =20 * - `Rule 13.6 `_ - Required