]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Deep delta aggregates cleanup.
authorSteve Baird <baird@adacore.com>
Mon, 23 Oct 2023 21:45:42 +0000 (14:45 -0700)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 21 Nov 2023 09:57:41 +0000 (10:57 +0100)
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.

gcc/ada/sem_aggr.adb

index c1d25404ae42ae04722b29a186fb42b15d4e7e9a..46a96a31a007127c4781d6a273239fae59da1222 100644 (file)
@@ -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;