From ec9c3bd5d2d6d91a9967bf153ebf1411e6bb10c0 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 24 Nov 2021 22:06:01 +0100 Subject: [Ada] Cleanups related to expansion of dispatching primitives gcc/ada/ * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst (No_Dispatching_Calls): Fix whitespace in example code. * gnat_rm.texi: Regenerate. * exp_ch13.adb (Expand_N_Freeze_Entity): Replace low-level membership test with a high-level wrapper. * exp_ch3.adb (Expand_Freeze_Record_Type): Remove unnecessary initialization of list of wrapper declarations and unnecessary guard for list of their bodies (if no bodies are created then Append_Freeze_Actions is a no-op). --- gcc/ada/exp_ch13.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gcc/ada/exp_ch13.adb') 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); -- cgit v1.1