From nobody Sat May 30 11:15:54 2026 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; arc=pass (i=1 dmarc=pass fromdomain=gmail.com); dmarc=fail(p=none dis=none) header.from=gmail.com ARC-Seal: i=2; a=rsa-sha256; t=1778753911; cv=pass; d=zohomail.com; s=zohoarc; b=CR2KvuzMUV8x+7cmpsKHAg1+8YuVYBBPT+rc472RQdX9NMVypBZAVYY/Ydz8rz0pWtP/kWIerwHuzocWbdsGfrDR1G4mXEvktxzUm0u4/bHCVZQr2A+BKXtUeK5lF6sFgggiwi3+h0eXkbVHqE+KPVWw+35p5TGVcB97K5hwuDE= ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1778753911; h=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=Zh73BPxmAVtviTnIt+PaWBA8sAaQSvHP6+asUf5cbXI=; b=BmdAuqHnnZ0JKHpaOrVzM30tlKkPcjNLfjcNQ21dlc1zibD9GRpPfSemk0TKnkMQDcpcnJZraXIainS+iPtex1s8JZWxrIXUQWQN52FynoxQLpJopvuZDnJFIboAB16vwsS6CvumjiKKF0MtCbOvklEj4BQBk3XMUnXDzaz8NJ0= ARC-Authentication-Results: i=2; 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; arc=pass (i=1 dmarc=pass fromdomain=gmail.com); dmarc=fail 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 1778753911537488.0910941549297; Thu, 14 May 2026 03:18:31 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.1308774.1580127 (Exim 4.92) (envelope-from ) id 1wNT8i-0005Ue-Os; Thu, 14 May 2026 10:18:00 +0000 Received: by outflank-mailman (output) from mailman id 1308774.1580127; Thu, 14 May 2026 10:18:00 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1wNT8i-0005UX-L9; Thu, 14 May 2026 10:18:00 +0000 Received: by outflank-mailman (input) for mailman id 1308774; Thu, 14 May 2026 10:17:59 +0000 Received: from mx.expurgate.net ([195.190.135.10]) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1wNT8h-0005UR-A7 for xen-devel@lists.xenproject.org; Thu, 14 May 2026 10:17:59 +0000 Received: from mx.expurgate.net (helo=localhost) by mx.expurgate.net with esmtp id 1wNT8g-00GhHP-Mu for xen-devel@lists.xenproject.org; Thu, 14 May 2026 12:17:58 +0200 Received: from [10.42.69.2] (helo=localhost) by localhost with ESMTP (eXpurgate MTA 0.9.1) (envelope-from ) id 6a05a11b-bab6-0a2a0a5309dd-0a2a4502dff2-44 for ; Thu, 14 May 2026 12:17:58 +0200 Received: from [162.55.131.47] (helo=support.bugseng.com) by tlsNG-720697.mxtls.expurgate.net with ESMTPS (eXpurgate 4.56.1) (envelope-from ) id 6a05a156-af86-0a2a45020019-a237832f8248-3 for ; Thu, 14 May 2026 12:17:58 +0200 Received: from nico-ideapad.sca.unipi.it (unknown [131.114.30.34]) (Authenticated sender: nicola) by support.bugseng.com (Postfix) with ESMTPSA id 9D3C24EE3CFD; Thu, 14 May 2026 12:17:57 +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" Authentication-Results: eu.smtp.expurgate.cloud; none Authentication-Results: bugseng.com; arc=none smtp.remote-ip=131.114.30.34 ARC-Seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1778753878; b=vrVY1tf3+RCzl5ZfIkcRzlNvGHsb60OAvUBeTTaNNQcTlAATiRXO5IioJLunpbSuOr7L FF0dz7p4LjeP+cq0DTH61DT13JFhKker82I1k207yKtt6mLurc9TPb6GoumEQScvtDjij 7j15b5cBBistsjbdkqw+gqoBu3L6EHN7TWWBn2VygILLVk+Aa08ivi6EbaXJkcO79oVW0 MsZWIbeZpXJX7A04thQ5GxA5bHjkGCTUOpqtk8yjNtoa7gW+aU5O8JRl8h2xFDqKfyJie f1W7Xhu+9CEtzQfdSNxVkK+pew8uPiYf1apXh1jeZhwZlwkCeR1Mnkz7Yw81b//F03YoF VS0izfP1+vedqExXS2e3EKdtqLqDJyIIlxJQ6LBw2XUPytPs5RpVlG5KWT9W9ldYONgfo eDCSkYpD0F6E4mpw2EJGZQKptd96cUhAs8198Z1z46n/auzpriKx8Ai/EVczhcbATmBlu Uphu+jKtPS19pGxdeQyPzJGRgLYjEPJzj1+VWpM36bXYAN0Br1XUdD7LTyBjReiDY9dVf EJ8Y2oylhmQBefdNb5tduRVmHC4fD/0XjtGil7naoG/5ZWOMVas9YsA6sYToBrr/aSJNm iz8itEtnH8umj4Wm2LdluCffD/QpD1AjeO9O9Y2gqAjpz2jbIYQDTUtPUPvas/I= ARC-Message-Signature: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; c=relaxed/relaxed; t=1778753878; h=From:To:Cc:Subject:Date:Message-ID:X-Mailer:MIME-Version: Content-Transfer-Encoding; bh=Zh73BPxmAVtviTnIt+PaWBA8sAaQSvHP6+asUf5cbXI=; b=ygkMBRSMFcV/naw7ZxTji3SuTcgSwftO8TIQoHNf/7kAjDxLruAr4po7pmqd8fYDtpvp Qz8RUZQeo7WiaTvir/2ptzb3/6jAvaOZAjCtwDHXI9qibVOls8pEi5YkOBy4jDt3Vakdn tolIjZNf81H8Jx7w10nhUpvkVGBt6oASKcG9bN8gbYZKxmICgHYd8CM5AIHrQs8ITVDGF FvE/dARQzzjDzrhrmI+lQ9/bNmUlqWXDDmUwkgR1SjQfbOUMZh29JG2auFy4Nq5/3UuHl Wha1GeoSzLuZX98NNDHOQvtSfUikkDjOpGSxoTTsj6VaQMCiPjRTz5Xie9GdcAtaspHJv U8vyUiJB+ccz7v1hDkxasf4MSfdy6TJMBEfKq7uck9QVK8+KMM+kHkHAxL8SeGD9Hc2pM pwB2d2LI+6vRQejlr6PPSakadynOzH0wh3hubkWhbMjgnvWla1OF712EJE5fV7FiSd8hk jjNHEkG83X5U232GcW6BsNcn/W2gQkdiCiEtAAB/YGKSYyvUTVas5WVrmARhDIvIqocqn v3luvAviiAm3Uu0RDyNAW8i4Bbc7RfQq0nNEc8bwALyH3MLBemJvfKXmYPClnNs3U+Lqp 3UVQ4tZ9PDWBc2cbF1uro5tuX3ZpmGMiPJ/ghww9iJeCL39wp3+cfMVAYTkc/nU= ARC-Authentication-Results: i=1; bugseng.com; arc=none smtp.remote-ip=131.114.30.34 From: Nicola Vetrini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Nicola Vetrini , Doug Goldstein , Stefano Stabellini , Jan Beulich , Andrew Cooper Subject: [PATCH] ci: ECLAIR: avoid intercepting intermediate linking steps Date: Thu, 14 May 2026 12:16:20 +0200 Message-ID: X-Mailer: git-send-email 2.54.0 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-purgate-ID: tlsNG-720697/1778753878-82374161-AB444DE1/0/0 X-purgate-type: clean X-purgate-size: 1422 X-ZM-MESSAGEID: 1778753913236158500 Content-Type: text/plain; charset="utf-8" From: Nicola Vetrini These do not add any value to the analysis other than duplicating some repo= rts in whole-program analysis, as the intermediate linking steps are only used = to build the symbol table. Suggested-by: Jan Beulich Signed-off-by: Nicola Vetrini --- Pipeline: https://gitlab.com/xen-project/people/bugseng/xen/-/pipelines/252= 4548198 A significant reduction in wallclock time can be seen for both arm64 and x8= 6_64 jobs, with no impact on correctness as far as I'm aware. --- automation/eclair_analysis/ECLAIR/analysis.ecl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/automation/eclair_analysis/ECLAIR/analysis.ecl b/automation/ec= lair_analysis/ECLAIR/analysis.ecl index 399099938f..ec37f7eff5 100644 --- a/automation/eclair_analysis/ECLAIR/analysis.ecl +++ b/automation/eclair_analysis/ECLAIR/analysis.ecl @@ -34,6 +34,13 @@ their Standard Library equivalents." =20 -doc_end =20 +-doc_begin=3D"Do not analyze intermediate linking artifacts, as they do no= t differ from their final +counterparts for the purposes of MISRA C static analysis." +-file_tag+=3D{xen_efi, "^xen/\\.xen\\.efi\\..*$"} +-file_tag+=3D{xen_syms, "^xen/\\.xen-syms\\.[0-9]+$"} +-frames+=3D{hide, "kind(program)&&target(xen_syms||xen_efi)"} +-doc_end + -eval_file=3Dtoolchain.ecl -eval_file=3Dpublic_APIs.ecl =20 --=20 2.54.0