From: Ronan Desplanques <desplanques@adacore.com>
Date: Fri, 3 Mar 2023 11:33:21 +0000 (+0100)
Subject: ada: Maximize use of existing constant
X-Git-Tag: basepoints/gcc-15~8934
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9df64b72bb887ca8802df1a2731403d219bebb5f;p=thirdparty%2Fgcc.git

ada: Maximize use of existing constant

This patch does not change the behavior of the compiler and is
intended as a readability improvement.

gcc/ada/

	* sem_ch3.adb (Replace_Type): Use existing constant wherever
	possible.
---

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index c8af679b404c..0bddfa844630 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -15994,7 +15994,7 @@ package body Sem_Ch3 is
             --  of the parent, and we can also use it rather than its base,
             --  which can lead to more efficient code.
 
-            if Etype (Id) = Parent_Type then
+            if Id_Type = Parent_Type then
                if Is_Scalar_Type (Parent_Type)
                  and then
                    Subtypes_Statically_Compatible (Parent_Type, Derived_Type)
@@ -16019,7 +16019,7 @@ package body Sem_Ch3 is
             end if;
 
          else
-            Set_Etype (New_Id, Etype (Id));
+            Set_Etype (New_Id, Id_Type);
          end if;
       end Replace_Type;