https://gcc.gnu.org/g:299c1045a22564ea54a2f37d01e198df8eddf0a9
commit r15-6530-g299c1045a22564ea54a2f37d01e198df8eddf0a9
Author: Piotr Trojanek <troja...@adacore.com>
Date: Wed Dec 4 16:26:45 2024 +0100
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:
---
gcc/ada/sem_res.adb | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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
