From: Piotr Trojanek <trojanek@adacore.com>
Date: Tue, 8 Oct 2024 20:52:38 +0000 (+0200)
Subject: ada: Fix visibility of Taft amendment types
X-Git-Tag: basepoints/gcc-16~4657
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5990d3e7163ff79829cf93524ac90ea3d6d901ec;p=thirdparty%2Fgcc.git

ada: Fix visibility of Taft amendment types

When uninstalling private package declarations we must mark Taft
amendment types hidden, just like we mark other types.

Looking at previous revisions of this code, it is quite clear that this
bug comes from a code evolution and marking types should happen in all
ELSE branches of the enclosing IF statement.

gcc/ada/ChangeLog:

	* sem_ch7.adb (Uninstall_Declarations): Mark Taft amendment
	types like we mark other types declared in private package
	declarations.
---

diff --git a/gcc/ada/sem_ch7.adb b/gcc/ada/sem_ch7.adb
index 28031b5dbc27..07a88fee0ec3 100644
--- a/gcc/ada/sem_ch7.adb
+++ b/gcc/ada/sem_ch7.adb
@@ -3375,6 +3375,9 @@ package body Sem_Ch7 is
                end loop;
             end;
 
+            Set_Is_Hidden (Id);
+            Set_Is_Potentially_Use_Visible (Id, False);
+
          --  For subtypes of private types the frontend generates two entities:
          --  one associated with the partial view and the other associated with
          --  the full view. When the subtype declaration is public the frontend