From 598409d3ef4f39b2c881da58f911bc3049d7f98b Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 13 Oct 2023 13:28:00 +0200
Subject: [PATCH] ada: Cleanup "not Present" on List_Id
gcc/ada/
* exp_ch6.adb, exp_disp.adb, sem_ch13.adb, sem_ch3.adb: Fix newly
detected violations.
---
gcc/ada/exp_ch6.adb | 2 +-
gcc/ada/exp_disp.adb | 2 +-
gcc/ada/sem_ch13.adb | 2 +-
gcc/ada/sem_ch3.adb | 2 +-
4 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb
index c1d5fa3c08b0..0e6f950f5d7e 100644
--- a/gcc/ada/exp_ch6.adb
+++ b/gcc/ada/exp_ch6.adb
@@ -4630,7 +4630,7 @@ package body Exp_Ch6 is
-- It may be possible that we are re-expanding an already
-- expanded call when are are dealing with dispatching ???
- if not Present (Parameter_Associations (Call_Node))
+ if No (Parameter_Associations (Call_Node))
or else Nkind (Last (Parameter_Associations (Call_Node)))
/= N_Parameter_Association
or else not Is_Accessibility_Actual
diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb
index 9e0c87a50951..89b47c042a0e 100644
--- a/gcc/ada/exp_disp.adb
+++ b/gcc/ada/exp_disp.adb
@@ -537,7 +537,7 @@ package body Exp_Disp is
then
Target_List := Priv_Decls;
- elsif not Present (Vis_Decls) then
+ elsif No (Vis_Decls) then
Target_List := New_List;
Set_Private_Declarations (Spec, Target_List);
else
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index c46994362687..ae97da58da39 100644
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -16400,7 +16400,7 @@ package body Sem_Ch13 is
if Nkind (N) = N_Aggregate then
if Present (Component_Associations (N))
or else Null_Record_Present (N)
- or else not Present (Expressions (N))
+ or else No (Expressions (N))
then
Error_Msg_N ("bad Stable_Properties aspect specification", N);
return;
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index c1113e4fc421..8583ac052618 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -7394,7 +7394,7 @@ package body Sem_Ch3 is
Set_Is_Constrained
(Derived_Type,
(Is_Constrained (Parent_Type) or else Constraint_Present)
- and then not Present (Discriminant_Specifications (N)));
+ and then No (Discriminant_Specifications (N)));
if Constraint_Present then
if not Has_Discriminants (Parent_Type) then
--
GitLab