Message ID | 20250107125350.619654-24-poulhies@adacore.com |
---|---|
State | New |
Headers |
Return-Path: <gcc-patches-bounces~patchwork=sourceware.org@gcc.gnu.org> X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 817EA3858410 for <patchwork@sourceware.org>; Tue, 7 Jan 2025 13:36:44 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 817EA3858410 Authentication-Results: sourceware.org; dkim=pass (2048-bit key, secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256 header.s=google header.b=Vv2BKK/U X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wm1-x331.google.com (mail-wm1-x331.google.com [IPv6:2a00:1450:4864:20::331]) by sourceware.org (Postfix) with ESMTPS id B75933856088 for <gcc-patches@gcc.gnu.org>; Tue, 7 Jan 2025 12:54:27 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org B75933856088 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine 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 B75933856088 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::331 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1736254468; cv=none; b=ZIjwCmGAgh6PBKJUH7QR8lCXcCoYM6ze6d4c8DRyLBh13vUGkNFCmmibe9rdHD9zIZOgALVUp2se28vyKgGQBDcvICeYon8kj3otcomhYrqErnfZYPY6H0LJn1HXf4sYw7c1XpuKF2VBqObDWWHRdMXvJ/+ejU3Z19On1Neyw3U= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1736254468; c=relaxed/simple; bh=jS5Jv4zY3oJVG3r0rWDEViyufdGzp/oJVaSsP9H/+bw=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=ccFArNBEsUFRW8B7NWdAMzIJcdTfmTk63/gcm0O6zGvjTrgJ0VdoEqKtatZitfAY3XU7iIWWpTku8DVyqNvSLncQEWiNhOMWRRxSiZGcAgjskfh9y2QWmbNXMJoi1Q7Ir5CI0P6lcpvtNPScEQkRQfwtlrW5uLOkUQCD32dSjmM= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B75933856088 Received: by mail-wm1-x331.google.com with SMTP id 5b1f17b1804b1-4361dc6322fso103279175e9.3 for <gcc-patches@gcc.gnu.org>; Tue, 07 Jan 2025 04:54:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1736254466; x=1736859266; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=NAmeqSjz3oZcIYBAb6tQi/F0n+IKhRRQJbUS4KimXiI=; b=Vv2BKK/UKtC23SGbRBk1QMsbfPU4nH/H1b70KczofhoOo7szQxxtlHDw1Q/nBAu4a6 o9GMj1Ea25wNRWx1qOQBJgdGNDFTHHDqjIlJnug+fC3f9nFvIxHaw4x3QxpomLhRm2tC mUKlnRG2Y+zXX4W7/wZ8HpdAo/QQH4xXkYo/UhuHrk/VrjYXT1PCrHpumqyYCoZIok8F FEcT9xjIRZ3akaYifZCqxN8LUDKCecvs+WY66nWeYU+gINRA/Kpsuy0dwtDU/tdjQkmP QSPu1fw5p1JwuQYNHLBS2J8ogs5yrqIxfTtHShVfaCXn9iNiZ/imBTMViO4WtAG3Mv28 +aSQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1736254466; x=1736859266; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=NAmeqSjz3oZcIYBAb6tQi/F0n+IKhRRQJbUS4KimXiI=; b=J1s2C76rSPdlvJDGyGuHbWm9R5VVlozKYwJNdNZTEn58326P8HCyRF3jBiDQdIzaJV Dy2uG6QJIGYdXpXaaMoXA3MSihS+a6RDUqe+S/dzksgxKNByKfkv0gsA41/DDiAuP+U4 5AZFskhiYqVqrHhDrjJyq9yquncjFMRrgHEvlqqWC/YXo6s28fqiJ46mdozKgwzDefDB katvcdaFPe5xCB//+wOMuPi60CI0nej4j02QyhOhKdRkTR7rqbFpNVSuoirnyybs0Cp+ cmCGV3Woa2fjNMXLVSyVCtlsQGSlx72KjoZTW3qc86imKRRpY9p/zxoCmTsO0PlQqY3C wxGw== X-Gm-Message-State: AOJu0YxU4g62UCDfp9yHn2kZHtKjDJyzeBvOB4HzCG4eNXGRFJvpFwLe qK4iX+yhIz6fbUW5f6HjIT7eyp9NR2ZrdA19pSn0oumx71V/8Y/ukgKO7usSFIB9p0b1E3G8bs8 = X-Gm-Gg: ASbGncvpuGZ0wdK77M2yhVFhLELAm4Ak2uLTaWhPBe8PD9Vbqj7el+ENF06rB+3mmCD CJbaZWDVntdpBr/hh5zTjZ1EXFWwNa0E7ju6vN/OvI1Rv8kwxCaHxDly72MrDDmppZYIlv6EWG7 I5Gg/MagUkP4QLMOxDkbJbp5kVhoJIDc+VDLqzlS5f6zQSsnMD7hsNZYRi7jj050m2LnSl2D3SA JUnqcFFS17CJtdApsd1vVV+nsakoWO151MRQVdYWaIFPiX61IuGdYnufoVGmMTkyBg0v1C228rG gGv5JHmfH5zSRgeckhN02H0p8IbUtkeyYpgRV12VQIknuKtv9F+PdxsG0gUBtXp0xh9yJ/uK X-Google-Smtp-Source: AGHT+IHyCW6ojegn8RlgaEjqiOcJ5q02SXJ2ywaVUBj/nSnYgzZsvNl06KCCzv/eBO6qCSVnQD0CEw== X-Received: by 2002:a05:600c:1c95:b0:431:44fe:fd9f with SMTP id 5b1f17b1804b1-43668b5f5aamr472979355e9.23.1736254466411; Tue, 07 Jan 2025 04:54:26 -0800 (PST) Received: from poulhies-Precision-5550.telnowedge.local (lmontsouris-659-1-24-67.w81-250.abo.wanadoo.fr. [81.250.175.67]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-43656af6c42sm631014805e9.9.2025.01.07.04.54.25 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 07 Jan 2025 04:54:26 -0800 (PST) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= <poulhies@adacore.com> To: gcc-patches@gcc.gnu.org Cc: Piotr Trojanek <trojanek@adacore.com> Subject: [COMMITTED 24/31] ada: Fix constants overlayed by variables Date: Tue, 7 Jan 2025 13:53:42 +0100 Message-ID: <20250107125350.619654-24-poulhies@adacore.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20250107125350.619654-1-poulhies@adacore.com> References: <20250107125350.619654-1-poulhies@adacore.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.7 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.30 Precedence: list List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org> List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe> List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/> List-Post: <mailto:gcc-patches@gcc.gnu.org> List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help> List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe> Errors-To: gcc-patches-bounces~patchwork=sourceware.org@gcc.gnu.org |
Series |
[COMMITTED,01/31] ada: Restrict previous change made to expansion of allocators
|
|
Commit Message
Marc Poulhiès
Jan. 7, 2025, 12:53 p.m. UTC
From: Piotr Trojanek <trojanek@adacore.com>
Code cleanup suggested by GNATcheck rule Constant_Overlays.
gcc/ada/ChangeLog:
* repinfo-input.adb (Decode_Name, Read_Name_With_Prefix): Use constant
overlay with pragma Import.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/repinfo-input.adb | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/gcc/ada/repinfo-input.adb b/gcc/ada/repinfo-input.adb index 78de4412228..c5cc34a6350 100644 --- a/gcc/ada/repinfo-input.adb +++ b/gcc/ada/repinfo-input.adb @@ -341,7 +341,8 @@ package body Repinfo.Input is else declare - S : String (Integer (Lo) .. Integer (Hi)); + S : constant String (Integer (Lo) .. Integer (Hi)); + pragma Import (Ada, S); for S'Address use Text (Lo)'Address; begin @@ -627,7 +628,8 @@ package body Repinfo.Input is else declare - S : String (Integer (Lo) .. Integer (Hi)); + S : constant String (Integer (Lo) .. Integer (Hi)); + pragma Import (Ada, S); for S'Address use Text (Lo)'Address; begin