sem_util.ads, [...] (In_Subprogram): Remove.
authorRobert Dewar <dewar@adacore.com>
Mon, 14 Apr 2008 15:01:42 +0000 (15:01 +0000)
committerSamuel Tardieu <sam@gcc.gnu.org>
Mon, 14 Apr 2008 15:01:42 +0000 (15:01 +0000)
2008-04-14  Robert Dewar  <dewar@adacore.com>

    gcc/ada/
* sem_util.ads, sem_util.adb (In_Subprogram): Remove.
* sem_attr.adb (Anayze_Attribute): Check for Current_Subprogram
directly.

From-SVN: r134273

gcc/ada/ChangeLog
gcc/ada/sem_attr.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads

index 5d37a15830a11aa744f0b9bfa99aff53a2180c07..199fe294a832aa767536b99fcefb55dc2df4d414 100644 (file)
@@ -1,3 +1,9 @@
+2008-04-14  Robert Dewar  <dewar@adacore.com>
+
+       * sem_util.ads, sem_util.adb (In_Subprogram): Remove.
+       * sem_attr.adb (Anayze_Attribute): Check for Current_Subprogram
+       directly.
+
 2008-04-14  Samuel Tardieu  <sam@rfc1149.net>
 
        PR ada/18680
index ed52023e716f724df8abf7517e24b155aaa8685a..7550d90655d933d90ba8994bd5dd547168c35faf 100644 (file)
@@ -3472,7 +3472,7 @@ package body Sem_Attr is
          Check_E0;
          Set_Etype (N, P_Type);
 
-         if not In_Subprogram then
+         if No (Current_Subprogram) then
             Error_Attr ("attribute % can only appear within subprogram", N);
          end if;
 
index e7a6658e88de9231c7fc9fdc095f7f0b9d28825d..fd797ca6079a84d21351f75a90876fd9a86b32fb 100644 (file)
@@ -5374,15 +5374,6 @@ package body Sem_Util is
       return False;
    end In_Package_Body;
 
-   -------------------
-   -- In_Subprogram --
-   -------------------
-
-   function In_Subprogram return Boolean is
-   begin
-      return Current_Subprogram /= Empty;
-   end In_Subprogram;
-
    --------------------------------------
    -- In_Subprogram_Or_Concurrent_Unit --
    --------------------------------------
index 291e230f4307dd8be2c2a9c2f14c07dfc90fd164..a5cb1db669430a90ac0edffa0258837e50706a4e 100644 (file)
@@ -590,12 +590,6 @@ package Sem_Util is
    function In_Package_Body return Boolean;
    --  Returns True if current scope is within a package body
 
-   function In_Subprogram return Boolean;
-   --  Determines if the current scope is within a subprogram compilation
-   --  unit (inside a subprogram declaration, subprogram body, or generic
-   --  subprogram declaration). The test is for appearing anywhere within
-   --  such a construct (that is it does not need to be directly within).
-
    function In_Subprogram_Or_Concurrent_Unit return Boolean;
    --  Determines if the current scope is within a subprogram compilation
    --  unit (inside a subprogram declaration, subprogram body, or generic