From: Steve Baird <baird@adacore.com>
Date: Mon, 23 Oct 2023 21:45:42 +0000 (-0700)
Subject: ada: Deep delta aggregates cleanup.
X-Git-Tag: basepoints/gcc-15~4489
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d75ca8a67e709c3e1dd99e2ada3d33563208c6c2;p=thirdparty%2Fgcc.git

ada: Deep delta aggregates cleanup.

Cleanup after the introduction of deep delta aggregates.
Eliminate a new gnatcheck message.

gcc/ada/

	* sem_aggr.adb: Replace "not Present (...)" call with "No (...)" call.
---

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index c1d25404ae42..46a96a31a007 100644
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -3903,7 +3903,7 @@ package body Sem_Aggr is
                   Prefix_Type : constant Entity_Id :=
                     Get_Component_Type (Prefix (Selector), Enclosing_Type);
                begin
-                  if not Present (Prefix_Type) then
+                  if No (Prefix_Type) then
                      pragma Assert (Serious_Errors_Detected > 0);
                      return Empty;
                   end if;