From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 4 Dec 2024 15:26:45 +0000 (+0100)
Subject: ada: Simplify check for No_Coextensions restriction
X-Git-Tag: basepoints/gcc-16~3023
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=299c1045a22564ea54a2f37d01e198df8eddf0a9;p=thirdparty%2Fgcc.git

ada: Simplify check for No_Coextensions restriction

Code cleanup; semantics is unaffected.

gcc/ada/ChangeLog:

	* sem_res.adb (Resolve_Alocator): Move unrelated code out of a declare
	block.
---

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 27309b2e0192..889cbd307b4c 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -5821,13 +5821,13 @@ package body Sem_Res is
               and then Nkind (Associated_Node_For_Itype (Typ)) =
                          N_Discriminant_Specification
             then
+               Check_Restriction (No_Coextensions, N);
+
                declare
                   Discr : constant Entity_Id :=
                     Defining_Identifier (Associated_Node_For_Itype (Typ));
 
                begin
-                  Check_Restriction (No_Coextensions, N);
-
                   --  Ada 2012 AI05-0052: If the designated type of the
                   --  allocator is limited, then the allocator shall not
                   --  be used to define the value of an access discriminant