aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2022-07-19 13:56:03 +0200
committerMarc Poulhiès <poulhies@adacore.com>2022-09-05 09:21:02 +0200
commitcde3f9417540cfc61ff8e3c58b76e7d182b40db5 (patch)
tree21fede7ddfda8e4a7b4db649197db0ee713b3d11
parentf85d7deec9bce88bc9bc2124d0422272d3eb26d5 (diff)
downloadgcc-cde3f9417540cfc61ff8e3c58b76e7d182b40db5.zip
gcc-cde3f9417540cfc61ff8e3c58b76e7d182b40db5.tar.gz
gcc-cde3f9417540cfc61ff8e3c58b76e7d182b40db5.tar.bz2
[Ada] Cleanup analysis of iterator specifications
Code cleanup; semantics is unaffected. gcc/ada/ * sem_ch5.adb (Check_Subtype_Definition): Remove redundant call to Present; style cleanup.
-rw-r--r--gcc/ada/sem_ch5.adb9
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb
index d4420cb..17bf6d9 100644
--- a/gcc/ada/sem_ch5.adb
+++ b/gcc/ada/sem_ch5.adb
@@ -2211,7 +2211,7 @@ package body Sem_Ch5 is
procedure Check_Subtype_Definition (Comp_Type : Entity_Id) is
begin
- if not Present (Subt) then
+ if No (Subt) then
return;
end if;
@@ -2231,9 +2231,8 @@ package body Sem_Ch5 is
Subt, Comp_Type);
end if;
- elsif Present (Subt)
- and then (not Covers (Base_Type (Bas), Comp_Type)
- or else not Subtypes_Statically_Match (Bas, Comp_Type))
+ elsif not Covers (Base_Type (Bas), Comp_Type)
+ or else not Subtypes_Statically_Match (Bas, Comp_Type)
then
if Is_Array_Type (Typ) then
Error_Msg_NE
@@ -2330,7 +2329,7 @@ package body Sem_Ch5 is
Decl :=
Make_Full_Type_Declaration (Loc,
Defining_Identifier => S,
- Type_Definition =>
+ Type_Definition =>
New_Copy_Tree
(Access_To_Subprogram_Definition (Subt)));
end if;