From: Ronan Desplanques <[email protected]>
Is_Limited_Type always returns True for types where Is_Limited_Composite
is True, therefore the disjunct this patch removes had no effect.
gcc/ada/ChangeLog:
* sem_ch3.adb (Process_Full_View): Simplify test.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_ch3.adb | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 38c009d0fd8..ce75692cbbe 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -21821,10 +21821,7 @@ package body Sem_Ch3 is
-- decoration of the full view and thus cannot be placed with other
-- similar checks in Find_Type_Name
- if not Is_Limited_Type (Priv_T)
- and then (Is_Limited_Type (Full_T)
- or else Is_Limited_Composite (Full_T))
- then
+ if not Is_Limited_Type (Priv_T) and then Is_Limited_Type (Full_T) then
if In_Instance then
null;
else
--
2.53.0
