From 34d045d30204c3021a82f4434076268eea8bf7b7 Mon Sep 17 00:00:00 2001 From: charlet Date: Thu, 25 Apr 2013 10:13:14 +0000 Subject: 2013-04-25 Hristian Kirtchev * einfo.ads, einfo.adb: Remove with and use clauses for Namet. (Find_Pragma): New routine. * sem_util.ads, sem_util.adb (Find_Pragma): Moved to einfo. 2013-04-25 Hristian Kirtchev * sem_ch13.adb (Add_Call): Do not capture the nature of the inherited predicate. (Add_Predicates): Save the static predicate for diagnostics and error reporting purposes. (Process_PPCs): Remove local variables Dynamic_Predicate_Present and Static_Predicate_Present. Add local variable Static_Pred. Ensure that the expression of a static predicate is static. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198283 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sem_util.adb | 20 -------------------- 1 file changed, 20 deletions(-) (limited to 'gcc/ada/sem_util.adb') diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index f55f594a50a..095510e1eb0 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -4882,26 +4882,6 @@ package body Sem_Util is end if; end Find_Parameter_Type; - ----------------- - -- Find_Pragma -- - ----------------- - - function Find_Pragma (Id : Entity_Id; Name : Name_Id) return Node_Id is - Item : Node_Id; - - begin - Item := First_Rep_Item (Id); - while Present (Item) loop - if Nkind (Item) = N_Pragma and then Pragma_Name (Item) = Name then - return Item; - end if; - - Item := Next_Rep_Item (Item); - end loop; - - return Empty; - end Find_Pragma; - ----------------------------- -- Find_Static_Alternative -- ----------------------------- -- cgit v1.2.1