Code cleanup related to fixing Valid_Scalars for private records, which
used to involve Get_Fullest_View.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_util.ads (Get_Fullest_View): Refill comment; remove extra
extra after period.
* sem_util.adb (Get_Fullest_View): Fix style.diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -10772,22 +10772,26 @@ package body Sem_Util is
when E_Class_Wide_Type =>
return Get_Fullest_View (Root_Type (E), Include_PAT);
- when E_Class_Wide_Subtype =>
+ when E_Class_Wide_Subtype =>
if Present (Equivalent_Type (E)) then
return Get_Fullest_View (Equivalent_Type (E), Include_PAT);
elsif Present (Cloned_Subtype (E)) then
return Get_Fullest_View (Cloned_Subtype (E), Include_PAT);
end if;
- when E_Protected_Type | E_Protected_Subtype
- | E_Task_Type | E_Task_Subtype =>
+ when E_Protected_Subtype
+ | E_Protected_Type
+ | E_Task_Subtype
+ | E_Task_Type
+ =>
if Present (Corresponding_Record_Type (E)) then
return Get_Fullest_View (Corresponding_Record_Type (E),
Include_PAT);
end if;
when E_Access_Protected_Subprogram_Type
- | E_Anonymous_Access_Protected_Subprogram_Type =>
+ | E_Anonymous_Access_Protected_Subprogram_Type
+ =>
if Present (Equivalent_Type (E)) then
return Get_Fullest_View (Equivalent_Type (E), Include_PAT);
end if;
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -1328,9 +1328,9 @@ package Sem_Util is
function Get_Fullest_View
(E : Entity_Id; Include_PAT : Boolean := True) return Entity_Id;
- -- Get the fullest possible view of E, looking through private,
- -- limited, packed array and other implementation types. If Include_PAT
- -- is False, don't look inside packed array types.
+ -- Get the fullest possible view of E, looking through private, limited,
+ -- packed array and other implementation types. If Include_PAT is False,
+ -- don't look inside packed array types.
function Has_Access_Values (T : Entity_Id) return Boolean;
-- Returns true if the underlying type of T is an access type, or has a