diff options
| -rw-r--r-- | gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst | 2 | ||||
| -rw-r--r-- | gcc/ada/exp_ch13.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/exp_ch3.adb | 6 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 2 |
4 files changed, 5 insertions, 7 deletions
diff --git a/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst b/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst index cbd780b..6d60e66 100644 --- a/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst +++ b/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst @@ -239,7 +239,7 @@ The following example indicates constructs that violate this restriction. with Pkg; use Pkg; procedure Example is procedure Test (O : T'Class) is - N : Natural := O'Size;-- Error: Dispatching call + N : Natural := O'Size; -- Error: Dispatching call C : T'Class := O; -- Error: implicit Dispatching Call begin if O in DT'Class then -- OK : Membership test diff --git a/gcc/ada/exp_ch13.adb b/gcc/ada/exp_ch13.adb index 479deca..6665daa 100644 --- a/gcc/ada/exp_ch13.adb +++ b/gcc/ada/exp_ch13.adb @@ -491,7 +491,7 @@ package body Exp_Ch13 is -- a constrained type extension with inherited discriminants. if Is_Type (E_Scope) - and then Ekind (E_Scope) not in Concurrent_Kind + and then not Is_Concurrent_Type (E_Scope) then E_Scope := Scope (E_Scope); diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb index c75e98e..9a0bbb4 100644 --- a/gcc/ada/exp_ch3.adb +++ b/gcc/ada/exp_ch3.adb @@ -5495,7 +5495,7 @@ package body Exp_Ch3 is Comp_Typ : Entity_Id; Predef_List : List_Id; - Wrapper_Decl_List : List_Id := No_List; + Wrapper_Decl_List : List_Id; Wrapper_Body_List : List_Id := No_List; Renamed_Eq : Node_Id := Empty; @@ -5906,9 +5906,7 @@ package body Exp_Ch3 is -- Ada 2005 (AI-391): If any wrappers were created for nonoverridden -- inherited functions, then add their bodies to the freeze actions. - if Present (Wrapper_Body_List) then - Append_Freeze_Actions (Typ, Wrapper_Body_List); - end if; + Append_Freeze_Actions (Typ, Wrapper_Body_List); -- Create extra formals for the primitive operations of the type. -- This must be done before analyzing the body of the initialization diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 9f92812..70e8c36 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -12621,7 +12621,7 @@ end Pkg; with Pkg; use Pkg; procedure Example is procedure Test (O : T'Class) is - N : Natural := O'Size;-- Error: Dispatching call + N : Natural := O'Size; -- Error: Dispatching call C : T'Class := O; -- Error: implicit Dispatching Call begin if O in DT'Class then -- OK : Membership test |