From nobody Sun Nov 2 12:50:15 2025 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=reject dis=none) header.from=citrix.com ARC-Seal: i=1; a=rsa-sha256; t=1740737344; cv=none; d=zohomail.com; s=zohoarc; b=QOzIny7w+NM0Gl7loHCemLpsEgT/lJoD3uhAe/V5zDApOdQ0oIhGHFm6sujTEO64XRcccLRn1l/L2/vhSzXJfyCYeQBD2QUK7AIlu2s9K4h2AM0fpxfHEIdICkPr+ZQHFGCoZh0EcLiGim5sk5bKtln8kYlE9XUCSzBgCYldu7s= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1740737344; h=Content-Type:Content-Transfer-Encoding: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=mysXiCURVaJn1m+2bXE7FZC1Q6z3l2z9M0EDcFgs9/E=; b=D4DLO53uUHhvEUVhGXDvtcZzg9zh1TuRv4NgtDWZBrF2WrdxChaK7eC9fdriK6vMOU8XS1B60jE9k6cdWhLQljJm1cE1KtzVw1U2EfrK+Gp9Pv4jOHqqFvUeKYuoMSN7+Dv4x301n0hfXnuaZaQxkernN5yHh1krQQoh2hxo7dw= 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=reject dis=none) Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1740737344749662.4364597338395; Fri, 28 Feb 2025 02:09:04 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.898592.1307110 (Exim 4.92) (envelope-from ) id 1tnxI3-0002Gm-LV; Fri, 28 Feb 2025 10:08:19 +0000 Received: by outflank-mailman (output) from mailman id 898592.1307110; Fri, 28 Feb 2025 10:08:19 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1tnxI3-0002Gf-I4; Fri, 28 Feb 2025 10:08:19 +0000 Received: by outflank-mailman (input) for mailman id 898592; Fri, 28 Feb 2025 10:08:18 +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 1tnxI2-0002GX-5J for xen-devel@lists.xenproject.org; Fri, 28 Feb 2025 10:08:18 +0000 Received: from mail-wm1-x32e.google.com (mail-wm1-x32e.google.com [2a00:1450:4864:20::32e]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id e904a557-f5bb-11ef-9aaf-95dc52dad729; Fri, 28 Feb 2025 11:08:09 +0100 (CET) Received: by mail-wm1-x32e.google.com with SMTP id 5b1f17b1804b1-439846bc7eeso12074895e9.3 for ; Fri, 28 Feb 2025 02:08:09 -0800 (PST) Received: from andrewcoop.eng.citrite.net (host-92-26-98-202.as13285.net. [92.26.98.202]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-43b7370372dsm50975715e9.11.2025.02.28.02.08.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 28 Feb 2025 02:08:07 -0800 (PST) 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: e904a557-f5bb-11ef-9aaf-95dc52dad729 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=citrix.com; s=google; t=1740737288; x=1741342088; darn=lists.xenproject.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=mysXiCURVaJn1m+2bXE7FZC1Q6z3l2z9M0EDcFgs9/E=; b=Y81AYisaWTzUBcM9hZVCwYdpEtD0OUNxV/DbMfUnWRJiUf7B7tD+QwJKTXDKhWtCd5 vQY79s5r5CpSgmjX9obo8a1R0QgBpVQZ01uvEbUiiouetuU4zAwZzvAaEHX7eY5t61ki flkGFVMeegUpTORjwPAQbt9V7aZbaVFmpAN2Y= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1740737288; x=1741342088; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=mysXiCURVaJn1m+2bXE7FZC1Q6z3l2z9M0EDcFgs9/E=; b=uziuxHOqh0UCGePjRCgJf+kyxf77gfl8cN1mMD0PrGz9PdHd3wKW8fhe9w/mMI7rrl gDyxu7uXiOQ34e5rPT08H1TtbrK8HU8iQnzaOHyMSIsiaFQOwIFeN6A/48NhOMCQz5NB 6pJG9M8H2XN3RiqmDm9oJ6SX8LAqForQRfM5dKmoLh8JGlDhYsHKHYukNL62i8wtGNj8 D9Oh5JakIvj20uX/VAhH797HgRr6x52LBaebqPgA9iSEW4l7N/0+vFjFikER92V1HNVw JaQZjt3gBewTuI5nRmQR5pBI0ivFZe0gEFXsVYUcU4SmevN8rvsIWVzQqFIQ//e4/V1R dBKA== X-Gm-Message-State: AOJu0YwcO15npwzTs90NrXJ357JfRMljAXUM35lVh+t2/2f7FBTZpdca 0jeAa3iIl+uVmJRMWqYoRPakgXTLtrRXKq/a9pq3vgt51yTzr8GBP5BJkUu0mAkhlHcTQ3CNmmO J X-Gm-Gg: ASbGnctMRar0WlXiV62dfrEPLOECYsZjoDHsq3XLyzoZLEr2sfXeiK+OlMDJ3plJKjf 8vyg6siKmW9LD1Agc27+gQk0B8Y/qZa9rrDRRqA4OivMX1tCRvSyiKuSLmVT928taM7EUlVGoyA dBET688gzcphEdJeWRypPLPCr5CX6PRxjBJ0FdHwwAGtNtjy+bwEXLnr2Y1mByejB27pVSIsm+3 61rxbp/bsBQy4Qu7J1xsvj8Sxhnx3eBo9EmS0ExHSIJMW6tymODuEkwfa5DCMIHLczXTfJ3Rc9c wazZnHK9xpaKsvKCnPXNw/2wbujnyYeoxCWoaKbP4GR3iNFuznSIyIMsE+O89vfGCNsMcOUNfRn SE8rS+g== X-Google-Smtp-Source: AGHT+IHdGssnZwlXB0EFRyGEAsO3mfXBmF7aj+HxC7J4UImUXAgPbWYzGqS2RfYHvunBpaO0KxQ+Ug== X-Received: by 2002:a05:600c:4ed4:b0:439:98ca:e3a4 with SMTP id 5b1f17b1804b1-43ba67475aamr19236225e9.19.1740737287631; Fri, 28 Feb 2025 02:08:07 -0800 (PST) From: Andrew Cooper To: Xen-devel Cc: Andrew Cooper , Jan Beulich , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= , Anthony PERARD , Michal Orzel , Jan Beulich , Julien Grall , Stefano Stabellini , Nicola Vetrini , "consulting @ bugseng . com" Subject: [PATCH] MISRA: Update path for bsearch devation Date: Fri, 28 Feb 2025 10:06:04 +0000 Message-Id: <20250228100604.1955747-1-andrew.cooper3@citrix.com> X-Mailer: git-send-email 2.39.5 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @citrix.com) X-ZM-MESSAGEID: 1740737346111019000 This ought to have been part of the original patch, so as to avoid breaking CI. Fixes: 31c0d6fdf421 ("xen/bsearch: Split out of lib.h into it's own header") Signed-off-by: Andrew Cooper Reviewed-by: Nicola Vetrini --- CC: Jan Beulich CC: Roger Pau Monn=C3=A9 CC: Anthony PERARD CC: Michal Orzel CC: Jan Beulich CC: Julien Grall CC: Roger Pau Monn=C3=A9 CC: Stefano Stabellini CC: Nicola Vetrini CC: consulting@bugseng.com https://gitlab.com/xen-project/people/andyhhp/xen/-/pipelines/1693121902 --- automation/eclair_analysis/ECLAIR/deviations.ecl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/= eclair_analysis/ECLAIR/deviations.ecl index a28eb0ae7658..dfa5f34b3952 100644 --- a/automation/eclair_analysis/ECLAIR/deviations.ecl +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl @@ -231,7 +231,7 @@ Therefore the absence of prior declarations is safe." =20 -doc_begin=3D"Given that bsearch and sort are defined with the attribute '= gnu_inline', it's deliberate not to have a prior declaration. See Section \"6.33.1 Common Function Attributes\" of \"GCC_MANUAL\" for a = full explanation of gnu_inline." --file_tag+=3D{bsearch_sort, "^xen/include/xen/(sort|lib)\\.h$"} +-file_tag+=3D{bsearch_sort, "^xen/include/xen/(sort|bsearch)\\.h$"} -config=3DMC3A2.R8.4,reports+=3D{deliberate, "any_area(any_loc(file(bsearc= h_sort))&&decl(name(bsearch||sort)))"} -doc_end =20 base-commit: 31c0d6fdf421b09327448351eb13bc4f1f40106b --=20 2.39.5