From 4bde5d8c904df3ab4541e1df47c3916c97135124 Mon Sep 17 00:00:00 2001 From: Javier Miranda Date: Mon, 16 Jul 2018 14:10:03 +0000 Subject: [PATCH] [Ada] Sem_Utils: make Has_Prefix public 2018-07-16 Javier Miranda gcc/ada/ * sem_util.ads, sem_util.adb (Has_Prefix): Move this function to the public part of this package. From-SVN: r262702 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/sem_util.adb | 37 +++++++++++++++++-------------------- gcc/ada/sem_util.ads | 3 +++ 3 files changed, 25 insertions(+), 20 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9b66735a507..bcf226282c1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-07-16 Javier Miranda + + * sem_util.ads, sem_util.adb (Has_Prefix): Move this function to the + public part of this package. + 2018-07-16 Yannick Moy * sem_res.adb (Resolve_Call): Do not inline calls inside diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 70c02da6ea1..59687f5c110 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -5989,9 +5989,6 @@ package body Sem_Util is Obj1 : Node_Id := A1; Obj2 : Node_Id := A2; - function Has_Prefix (N : Node_Id) return Boolean; - -- Return True if N has attribute Prefix - function Is_Renaming (N : Node_Id) return Boolean; -- Return true if N names a renaming entity @@ -6001,23 +5998,6 @@ package body Sem_Util is -- renamed object_name contains references to variables or calls on -- nonstatic functions; otherwise return True (RM 6.4.1(6.10/3)) - ---------------- - -- Has_Prefix -- - ---------------- - - function Has_Prefix (N : Node_Id) return Boolean is - begin - return - Nkind_In (N, - N_Attribute_Reference, - N_Expanded_Name, - N_Explicit_Dereference, - N_Indexed_Component, - N_Reference, - N_Selected_Component, - N_Slice); - end Has_Prefix; - ----------------- -- Is_Renaming -- ----------------- @@ -11548,6 +11528,23 @@ package body Sem_Util is return Has_PE; end Has_Preelaborable_Initialization; + ---------------- + -- Has_Prefix -- + ---------------- + + function Has_Prefix (N : Node_Id) return Boolean is + begin + return + Nkind_In (N, + N_Attribute_Reference, + N_Expanded_Name, + N_Explicit_Dereference, + N_Indexed_Component, + N_Reference, + N_Selected_Component, + N_Slice); + end Has_Prefix; + --------------------------- -- Has_Private_Component -- --------------------------- diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index a0b95fa1cbc..9bff3ba92cf 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1313,6 +1313,9 @@ package Sem_Util is -- Return True iff type E has preelaborable initialization as defined in -- Ada 2005 (see AI-161 for details of the definition of this attribute). + function Has_Prefix (N : Node_Id) return Boolean; + -- Return True if N has attribute Prefix + function Has_Private_Component (Type_Id : Entity_Id) return Boolean; -- Check if a type has a (sub)component of a private type that has not -- yet received a full declaration. -- 2.30.2