From patchwork Mon Nov 7 08:39:40 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Marc_Poulhi=C3=A8s?= X-Patchwork-Id: 16302 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a5d:6687:0:0:0:0:0 with SMTP id l7csp1919466wru; Mon, 7 Nov 2022 00:43:37 -0800 (PST) X-Google-Smtp-Source: AMsMyM6dqrV3in6Re/xjZZufa2OCE9foAMyzAJVIfhxUOFCqeo5Ynj8Yuka0yAfG+xnOpbw2clE+ X-Received: by 2002:a17:907:7250:b0:791:9093:47f7 with SMTP id ds16-20020a170907725000b00791909347f7mr46881622ejc.278.1667810617291; Mon, 07 Nov 2022 00:43:37 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1667810617; cv=none; d=google.com; s=arc-20160816; b=aq/wxSvELCFyRvZxetK4SxrgPcEZJbtmw2nuhDO1aVLlsY47Wbotwvj778+ALoNrj2 ZrYvkfT6IfsiSUMaAdxNnP4O7n2ECh9gTrvvjFOYpMYbZcK1U1vDW4pyhyIbsbJNes9Z 7+Wx+jtz6VygKZWrMxsi1wrRZlg9nnahstIhoU7xzTOQ7jlxYl2MfEK0n6nTDxaLmXPM B7cFbU5nWXJW30GWrm6kY2ePJxw3fBZzSxHy4ERU79t22zjjL3ab4bhHZB/UtG8Oxvyl fZwAYS0QM0t/hsFAC46SAHn/ni+tZTuS7TIhI7jAzpmjqtW99Gb48ls8it0nKmgGJVhP DpXg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:reply-to:from:list-subscribe:list-help:list-post :list-archive:list-unsubscribe:list-id:precedence :content-transfer-encoding:mime-version:message-id:date:subject:cc :to:dmarc-filter:delivered-to:dkim-signature:dkim-filter; bh=xLMJDBhs1guvJr37H3Bu/sj8VvUc74nudReRgORG5sc=; b=P5aHSpjsl9Of2zrG2Hwiu/FK5DmanHlfLmGlkx0NgqCX2GHQlLMEh7N3Vcicler2E2 rW1dQk2BURHBUUvmBgKgL1NJhimP0dR1q2c+PcCayVoQpb4fOsP30jnGLQLQhopwV0D4 mX2NcuBuqxXtplFUeB3iwexZMRjPCjTV0StE3nfGMPxdYRpS2JEw+Br+wQekJXxWb38J WsCznBgFc7R6zsUyZp/E25ghdK8p9Sxodi9MCBJO9LiajqBpY2jqqAQKJ/Q3wsoLQC4i dOSdWr0DRARNdQ2hLzB+FaazRZR/55niESHlfX0Sx5IBGrtd7B2mPpOVv1mwsaVfGr5H cLNw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=GOVUCVlL; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id dp21-20020a170906c15500b007830e41ed56si9668926ejc.431.2022.11.07.00.43.37 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 07 Nov 2022 00:43:37 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=GOVUCVlL; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 2F759385736D for ; Mon, 7 Nov 2022 08:41:39 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2F759385736D DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1667810499; bh=xLMJDBhs1guvJr37H3Bu/sj8VvUc74nudReRgORG5sc=; h=To:Cc:Subject:Date:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:List-Subscribe:From:Reply-To:From; b=GOVUCVlL3YNGsx8nT7zOfW0ftXlg/qoILGYQCsQb+dJcVIzHJEV9DMtjSt6mSShTI HlEyi++xRvkPE7XBlRc4JMpZbRP9rT3qGQvFLbU/v10f4w02zF2FlChPIi1dni2FeG ojvZAPyykAxxGnxf/r+4jBFB+V78Brv7y9rFizQY= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x42d.google.com (mail-wr1-x42d.google.com [IPv6:2a00:1450:4864:20::42d]) by sourceware.org (Postfix) with ESMTPS id 080CC385803E for ; Mon, 7 Nov 2022 08:39:44 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 080CC385803E Received: by mail-wr1-x42d.google.com with SMTP id v1so14999269wrt.11 for ; Mon, 07 Nov 2022 00:39:43 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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=xLMJDBhs1guvJr37H3Bu/sj8VvUc74nudReRgORG5sc=; b=Wj9aZUsFquZso2MGKGnpf+IDhaO+UtE+H9tukZ7pFksVi/Ey8wuPOgN/VtJ0zEgpIs L4APUSoUsYeQYHqLT6GAEH/DmUvtiPmcSngVPvA+UoeT8yxQ0+D6EVXCmOmFPJhkJAh0 oURzc3Fd4RmY+cDc53xS8DLQFABbBXR5L6wOUFbN0zzTZ+kvZ+Gz7kGy37tjkdwUXI5b 4fzP4UwNQEdaMjHROWRXecKOdVlTvM60B23ayF4mBfx6zj69JbbFmzy7cDIUoXKU/u6c 1xi4Tft0ICabkMvJvgiVUFDvEn4FOnq93F2dHp3VI9eq9FpntXcThnF4GbY/uH+mKtIf yUnA== X-Gm-Message-State: ACrzQf0WJ91IMsLfwG/wrrUfhZ4IdgEMmJBbzx2JdCoomqYm01QqC2LZ 8ityBUcL13Sc0PzscQkwVuAWRGt4tsee4w== X-Received: by 2002:a5d:4e47:0:b0:236:6dca:d355 with SMTP id r7-20020a5d4e47000000b002366dcad355mr30836447wrt.498.1667810382976; Mon, 07 Nov 2022 00:39:42 -0800 (PST) Received: from poulhies-Precision-5550.lan (static-176-191-105-132.ftth.abo.bbox.fr. [176.191.105.132]) by smtp.gmail.com with ESMTPSA id f66-20020a1c3845000000b003c6b70a4d69sm7304204wma.42.2022.11.07.00.39.42 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 07 Nov 2022 00:39:42 -0800 (PST) To: gcc-patches@gcc.gnu.org Cc: Piotr Trojanek Subject: [COMMITTED] ada: Cleanup WITH clauses after switching from obsolescent Ada 83 unit Date: Mon, 7 Nov 2022 09:39:40 +0100 Message-Id: <20221107083940.150593-1-poulhies@adacore.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 X-Spam-Status: No, score=-13.4 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: =?utf-8?q?Marc_Poulhi=C3=A8s_via_Gcc-patches?= From: =?utf-8?q?Marc_Poulhi=C3=A8s?= Reply-To: =?utf-8?q?Marc_Poulhi=C3=A8s?= Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1748826185380071313?= X-GMAIL-MSGID: =?utf-8?q?1748826185380071313?= From: Piotr Trojanek Cleanup after replacing Unchecked_Conversion with Ada.Unchecked_Conversion. gcc/ada/ * libgnarl/s-interr.adb: Reorder context items and pragmas. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnarl/s-interr.adb | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) diff --git a/gcc/ada/libgnarl/s-interr.adb b/gcc/ada/libgnarl/s-interr.adb index a3d28d6055c..94e572d482b 100644 --- a/gcc/ada/libgnarl/s-interr.adb +++ b/gcc/ada/libgnarl/s-interr.adb @@ -54,27 +54,22 @@ with Ada.Exceptions; with Ada.Task_Identification; +with Ada.Unchecked_Conversion; -with System.Task_Primitives; with System.Interrupt_Management; - with System.Interrupt_Management.Operations; -pragma Elaborate_All (System.Interrupt_Management.Operations); - with System.IO; - +with System.Parameters; +with System.Task_Primitives; with System.Task_Primitives.Operations; with System.Task_Primitives.Interrupt_Operations; with System.Storage_Elements; +with System.Tasking.Initialization; with System.Tasking.Utilities; - with System.Tasking.Rendezvous; -pragma Elaborate_All (System.Tasking.Rendezvous); - -with System.Tasking.Initialization; -with System.Parameters; -with Ada.Unchecked_Conversion; +pragma Elaborate_All (System.Interrupt_Management.Operations); +pragma Elaborate_All (System.Tasking.Rendezvous); package body System.Interrupts is