2008-08-01 Robert Dewar <dewar@adacore.com>

	* sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of
	Raise_Exception



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138483 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 3 insertions, 12 deletions

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index 6583b72537d..498239a3af5 100644
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -1564,6 +1564,7 @@ package body Sem_Ch6 is
          --  Subprogram_Specification. In such cases, we undo the change
          --  made by the analysis of the specification and try to find the
          --  spec again.
+
          --  Note that wrappers already have their corresponding specs and
          --  bodies set during their creation, so if the candidate spec is
          --  a wrapper, then we definately need to swap all types to their
@@ -2405,17 +2406,6 @@ package body Sem_Ch6 is
                        and then No_Return (Ent)
                      then
                         Set_Trivial_Subprogram (Stm);
-
-                     --  If the procedure name is Raise_Exception, then also
-                     --  assume that it raises an exception. The main target
-                     --  here is Ada.Exceptions.Raise_Exception, but this name
-                     --  is pretty evocative in any context! Note that the
-                     --  procedure in Ada.Exceptions is not marked No_Return
-                     --  because of the annoying case of the null exception Id
-                     --  when operating in Ada 95 mode.
-
-                     elsif Chars (Ent) = Name_Raise_Exception then
-                        Set_Trivial_Subprogram (Stm);
                      end if;
                   end;
                end if;
@@ -7756,6 +7746,7 @@ package body Sem_Ch6 is
          --  procedure. Note that it is only at the outer level that we
          --  do this fiddling, for the spec cases, the already preanalyzed
          --  parameters are not affected.
+
          --  For a postcondition pragma within a generic, preserve the pragma
          --  for later expansion.
 
@@ -7891,7 +7882,7 @@ package body Sem_Ch6 is
          end loop;
       end if;
 
-      --  If we had any postconditions and expansion is enabled,, build
+      --  If we had any postconditions and expansion is enabled, build
       --  the Postconditions procedure.
 
       if Present (Plist)