diff mbox series

[COMMITTED] ada: Deep delta aggregates cleanup.

Message ID 20231121100027.1964339-1-poulhies@adacore.com
State Committed
Commit d75ca8a67e709c3e1dd99e2ada3d33563208c6c2
Headers
Series [COMMITTED] ada: Deep delta aggregates cleanup. |

Checks

Context Check Description
linaro-tcwg-bot/tcwg_gcc_build--master-arm warning Patch is already merged
linaro-tcwg-bot/tcwg_gcc_build--master-aarch64 warning Patch is already merged

Commit Message

Marc Poulhiès Nov. 21, 2023, 10 a.m. UTC 
  From: Steve Baird <baird@adacore.com>

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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sem_aggr.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
diff mbox series

Patch

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index c1d25404ae4..46a96a31a00 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;