]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Reuse Is_Subprogram_Or_Entry where possible
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 8 Apr 2021 19:17:33 +0000 (21:17 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 29 Jun 2021 14:23:47 +0000 (14:23 +0000)
gcc/ada/

* freeze.adb (Freeze_All): Simplify by reusing
Is_Subprogram_Or_Entry.
* sem_ch11.adb (Analyze_Handled_Statement): Likewise.

gcc/ada/freeze.adb
gcc/ada/sem_ch11.adb

index 3ea4a99b84d1679aae215b5c5e46749a2300ac63..81e0e87d4d1a85fe7476eaeba2a4e9db94ca4869 100644 (file)
@@ -2179,7 +2179,7 @@ package body Freeze is
          elsif Is_Concurrent_Type (E) then
             Item := First_Entity (E);
             while Present (Item) loop
-               if (Is_Entry (Item) or else Is_Subprogram (Item))
+               if Is_Subprogram_Or_Entry (Item)
                  and then not Default_Expressions_Processed (Item)
                then
                   Process_Default_Expressions (Item, After);
index 5a2c6a6828bbbfcbaee75659a4c5fd22378c9ee1..2af65ae2f83653a9b1ddfbdc9e31136959ae02fd 100644 (file)
@@ -435,7 +435,7 @@ package body Sem_Ch11 is
       --  postcondition, since in that case there are no source references, and
       --  we need to preserve deferred references from the enclosing scope.
 
-      if ((Is_Subprogram (Current_Scope) or else Is_Entry (Current_Scope))
+      if (Is_Subprogram_Or_Entry (Current_Scope)
            and then Chars (Current_Scope) /= Name_uPostconditions)
          or else Ekind (Current_Scope) in E_Block | E_Task_Type
       then