mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-22 21:31:19 +08:00
Code Issues Packages Projects Releases Wiki Activity

[Ada] Simplify Is_Standard_xxx_Type routines with membership tests

Browse Source 
gcc/ada/

	* einfo.adb (Is_Standard_Character_Type,
	Is_Standard_String_Type): Simplify.
	(Last_Formal): Use procedural variant of Next_Formal.
This commit is contained in:
Piotr Trojanek 2020-10-14 22:49:08 +02:00 committed by Pierre-Marie de Rodat
parent a24033ec70
commit 49c4dd7a22
1 changed files with 9 additions and 31 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
gcc/ada/einfo.adb
View File

@ -8309,21 +8309,10 @@ package body Einfo is
function Is_Standard_Character_Type (Id : E) return B is
begin
if Is_Type (Id) then
declare
R : constant Entity_Id := Root_Type (Id);
begin
return
R = Standard_Character
or else
R = Standard_Wide_Character
or else
R = Standard_Wide_Wide_Character;
end;
else
return False;
end if;
return Is_Type (Id)
and then Root_Type (Id) in Standard_Character
| Standard_Wide_Character
| Standard_Wide_Wide_Character;
end Is_Standard_Character_Type;
-----------------------------
@ -8332,21 +8321,10 @@ package body Einfo is
function Is_Standard_String_Type (Id : E) return B is
begin
if Is_Type (Id) then
declare
R : constant Entity_Id := Root_Type (Id);
begin
return
R = Standard_String
or else
R = Standard_Wide_String
or else
R = Standard_Wide_Wide_String;
end;
else
return False;
end if;
return Is_Type (Id)
and then Root_Type (Id) in Standard_String
| Standard_Wide_String
| Standard_Wide_Wide_String;
end Is_Standard_String_Type;
--------------------
@ -8454,7 +8432,7 @@ package body Einfo is
if Present (Formal) then
while Present (Next_Formal (Formal)) loop
Formal := Next_Formal (Formal);
Next_Formal (Formal);
end loop;
end if;