From patchwork Tue Dec 19 14:30:56 2023 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: 181006 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7300:24d3:b0:fb:cd0c:d3e with SMTP id r19csp1980519dyi; Tue, 19 Dec 2023 06:35:32 -0800 (PST) X-Google-Smtp-Source: AGHT+IH2PpkVmaNqKbbtFXmmTa5zyFKqMcSwvfhVoqDlgNyDMfd9tfEc1QqgNSQqT+XU7T75jiER X-Received: by 2002:a05:6102:a4e:b0:464:8f00:bfdc with SMTP id i14-20020a0561020a4e00b004648f00bfdcmr12804782vss.3.1702996532524; Tue, 19 Dec 2023 06:35:32 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1702996532; cv=pass; d=google.com; s=arc-20160816; b=kZi3GOnxsVwR9b/HoMEOkRKuCN8wDn3I5WuGZNY3GbazQppIYdFFW7h4F8gGdREYOc EW6M1t+VVNe0vIPxYwIfuv21971Z3CpcTRQp9NhFPUCO1AqhCvXj5bINtoAYiGaYoB3v roly9FaAVV9LdP4MSzTdq6lhUM7MVAl+iudlFB+rAh+p09qDPT+hZiD4578MiholoWpo +q+SxozF+9MFwM4ALR8Qtfqb2cMFGjW+YrXgHwqgDjaQ4FraQVhMidqkpi0+f3UiRYlX B31MQUJmfuFsBjNJ+hv+qqZXgY1Bx7PzTsfHsTDsrtHe9ztlYftAsSRGJFGr7liDusNe pA9w== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:message-id:date:subject:cc:to:from:dkim-signature :arc-filter:dmarc-filter:delivered-to; bh=4WDqyOvLEHzauYsv2Vv4eruXs/U8hjsEUPRNd5oHSP8=; fh=QRb7QY4BZ0mIIAPiH2G4K0PcYKRtRn2i5A6VLUA8cN4=; b=vnhxDjl2P3TqIGWcX3TFEqD53mzat4CYK4sfZ76CtRK6CJORAOQzVXBQEuL1aa+yCt 2Soi5yTfgxn2sLgtialIB4IttNM8qDyOa8TOyuVGZw1tYj1nb6tJ316yJDWc4fGi4nNg vD2RXaDTMK2HKke25PZcUPVvatQ0OCBfzYI3g1JvZrFf26ZYnOu91kxWDTP7K5JT4Dvn 3LMnUrg6TB41n0Dd4ji5pMEPiIMMQ4Fzuk4dd4KL0akM4sZNjd/D+SjOQnHaDwuPEdu6 aIIJWETTG6XI8t4ahOxeIFo90opSy9WH+mvujPbj5MKM5X2Qw41Ma/trns9Fknf74m1t wuOw== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@adacore.com header.s=google header.b=V9M77qmN; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=adacore.com Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id cu18-20020a056102161200b0046693779faasi794438vsb.526.2023.12.19.06.35.32 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 19 Dec 2023 06:35:32 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@adacore.com header.s=google header.b=V9M77qmN; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=adacore.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 952B93896C11 for ; Tue, 19 Dec 2023 14:32:52 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x431.google.com (mail-wr1-x431.google.com [IPv6:2a00:1450:4864:20::431]) by sourceware.org (Postfix) with ESMTPS id A4540385DC1A for ; Tue, 19 Dec 2023 14:30:58 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org A4540385DC1A Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org A4540385DC1A Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::431 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1702996260; cv=none; b=hjMHpO3+bYwU+ytqx37AsDg/AOG81I0KMr5YHt+htjIMiChlRQwGEE3KqXLmVW7/y4ZdHPOWNmn743KgAkqAr4QxF3z+DQ4LMb4L9JyBoDBzlTaSJ+YuLHainMSQhpkV3Z/ERMm8ow40/Glq/2Lz3dgOJVAUkhWH31QOD9ASVGU= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1702996260; c=relaxed/simple; bh=CagkjlRNkssALTJbYJKoBLPkRzdmZYwBKJkFD8QkKYU=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=s2QvxzJq/oXSpRkkqisFN8ILmwsEaN+hFUqdDpTVxq0blivQyuJJohg+mTgXzGc/3Li8Vr3chybuJPUi7BiyBCxpGbC66/VpV0TKBfly/FJN6xm4+x7ep0pOZUtm2Iuan8cdAy2ku/J+VFOW00wurVhQCEyiRa6T0osqcsgsmAc= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wr1-x431.google.com with SMTP id ffacd0b85a97d-3367632ce7bso333750f8f.2 for ; Tue, 19 Dec 2023 06:30:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1702996257; x=1703601057; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=4WDqyOvLEHzauYsv2Vv4eruXs/U8hjsEUPRNd5oHSP8=; b=V9M77qmN5tzrfQ4vX19fAzsIYL/1JDuaUaeuVQALCMZuiJFs9FXkJNR9NrlzJBMvUL E4c9407qYhpIxYmWHaXJAGlS2dTr3z5vejQJVma99YjtSRdasCzxJSgnV6R0NPy4zGUh E2bdAlZSDsOSbqOqSZivMKqpsPu+8mY6TvGr+HSISs2neLeTPfHb6Uyw2jz5/4iM4A0q M5+hzexzIa80flYfhHOGd1u9EV+eKTPM6+FL5/sMRGfcufmWoEgRW3Sa0p0iWWC5fjZc EAT2/vhq4z6EY1hl7yB3JORg9093VOBk6I8tdb4eFMCZw2ZI4xvMJIIlA6K0di5nCi3Z UUCg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702996257; x=1703601057; 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=4WDqyOvLEHzauYsv2Vv4eruXs/U8hjsEUPRNd5oHSP8=; b=YUEBtUgjKh6K6fc2Ig3/t4NhzJfEIvCTxSZS59hwtUwUlyoTbBdZvzHu6bvCtUvyeB iVxJEb362SAXqzhXLOUvUYXZoBfolGEFLw1odzbJJkFmhGwUljIs68UTX+Smkxhj8IFy Fto/6tASZR8GEOg6iU+VheoHZnCT49U8EKBUmEftvgN5cVRK3Do9GirrCx+1oBuduUbE LfjQCELgtWaOUuw2TLcdc2EaI8qFn7yMwEJoHpe956zRO9+yyUdIF0n/dNX4BlJ539nY hM/iLjJwk0OBb30zl3j9ChkKYrMbDQE3dWePZ0/LCq4KQpTn7WR/gs4nUL+ZFsY34k9B N1+w== X-Gm-Message-State: AOJu0Yx/wcaKbmxURTEH92Mvhp9v5vjoGNc0Cx0cjFcL7wgVIYfyTBXf Ld7AYyygfRRTUAQLH3auT0mbO6MQwVQBIXIxDNw= X-Received: by 2002:a5d:60c2:0:b0:336:645e:3d9f with SMTP id x2-20020a5d60c2000000b00336645e3d9fmr1983148wrt.124.1702996257463; Tue, 19 Dec 2023 06:30:57 -0800 (PST) Received: from poulhies-Precision-5550.lan ([2001:861:3382:1a90:fe1e:443:c34f:edaa]) by smtp.gmail.com with ESMTPSA id p3-20020a5d4e03000000b00336751cd4ebsm1261817wrt.72.2023.12.19.06.30.56 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 19 Dec 2023 06:30:57 -0800 (PST) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Piotr Trojanek Subject: [COMMITTED] ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img Date: Tue, 19 Dec 2023 15:30:56 +0100 Message-ID: <20231219143056.455682-1-poulhies@adacore.com> X-Mailer: git-send-email 2.43.0 MIME-Version: 1.0 X-Spam-Status: No, score=-13.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_ASCII_DIVIDERS, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE 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.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1785721291905284530 X-GMAIL-MSGID: 1785721291905284530 From: Piotr Trojanek Routine Get_Logical_Line_Number_Img was introduced for splitting of Pre/Post contracts, but subsequent patch for that feature removed its only use. It was then used by GNATprove, but that use is now removed as well. gcc/ada/ * sinput.adb, sinput.ads (Get_Logical_Line_Number_Img): Remove. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sinput.adb | 13 ------------- gcc/ada/sinput.ads | 5 ----- 2 files changed, 18 deletions(-) diff --git a/gcc/ada/sinput.adb b/gcc/ada/sinput.adb index 4352cad62c7..dc6b55aede1 100644 --- a/gcc/ada/sinput.adb +++ b/gcc/ada/sinput.adb @@ -460,19 +460,6 @@ package body Sinput is end if; end Get_Logical_Line_Number; - --------------------------------- - -- Get_Logical_Line_Number_Img -- - --------------------------------- - - function Get_Logical_Line_Number_Img - (P : Source_Ptr) return String - is - begin - Name_Len := 0; - Add_Nat_To_Name_Buffer (Nat (Get_Logical_Line_Number (P))); - return Name_Buffer (1 .. Name_Len); - end Get_Logical_Line_Number_Img; - ------------------------------ -- Get_Physical_Line_Number -- ------------------------------ diff --git a/gcc/ada/sinput.ads b/gcc/ada/sinput.ads index 6ce2a22e746..e30487e276f 100644 --- a/gcc/ada/sinput.ads +++ b/gcc/ada/sinput.ads @@ -541,11 +541,6 @@ package Sinput is -- WARNING: There is a matching C declaration of this subprogram in fe.h - function Get_Logical_Line_Number_Img - (P : Source_Ptr) return String; - -- Same as above function, but returns the line number as a string of - -- decimal digits, with no leading space. Destroys Name_Buffer. - function Get_Physical_Line_Number (P : Source_Ptr) return Physical_Line_Number; -- The line number of the specified source position is obtained by