From 9420f51f051e07b8c60e36e1ef45806788d4e590 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Thu, 31 Jul 2014 12:24:57 +0000 Subject: [PATCH] sem_parg.adb, [...] (Collect_Subprogram_Inputs_Outputs): Make subprogram public. 2014-07-31 Yannick Moy * sem_parg.adb, sem_prag.ads (Collect_Subprogram_Inputs_Outputs): Make subprogram public. From-SVN: r213344 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/sem_prag.adb | 11 ----------- gcc/ada/sem_prag.ads | 14 +++++++++++++- 3 files changed, 18 insertions(+), 12 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c1698288919..1519eaa0e53 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2014-07-31 Yannick Moy + + * sem_parg.adb, sem_prag.ads (Collect_Subprogram_Inputs_Outputs): + Make subprogram public. + 2014-07-31 Ed Schonberg * exp_ch9.adb (Expand_N_Protected_Type_Declaration): New diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 10ffab9d5b0..2f04875b286 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -237,17 +237,6 @@ package body Sem_Prag is -- with visible refinement available in the corresponding mode. Flag -- Has_Null_State is set when at least state has a null refinement. - procedure Collect_Subprogram_Inputs_Outputs - (Subp_Id : Entity_Id; - Subp_Inputs : in out Elist_Id; - Subp_Outputs : in out Elist_Id; - Global_Seen : out Boolean); - -- Subsidiary to the analysis of pragma Depends, Global, Refined_Depends - -- and Refined_Global. Gather all inputs and outputs of subprogram Subp_Id - -- in lists Subp_Inputs and Subp_Outputs. If the case where the subprogram - -- has no inputs and/oroutputs, the returned list is No_Elist. Global_Seen - -- is set when the related subprogram has pragma [Refined_]Global. - function Find_Related_Subprogram_Or_Body (Prag : Node_Id; Do_Checks : Boolean := False) return Node_Id; diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 354886dc868..a97595c0f4d 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -170,6 +170,18 @@ package Sem_Prag is -- state, variable or package instantiation denoted by Item_Id requires the -- use of indicator/option Part_Of. If this is the case, emit an error. + procedure Collect_Subprogram_Inputs_Outputs + (Subp_Id : Entity_Id; + Subp_Inputs : in out Elist_Id; + Subp_Outputs : in out Elist_Id; + Global_Seen : out Boolean); + -- Used during the analysis of pragmas Depends, Global, Refined_Depends, + -- and Refined_Global. Also used by GNATprove. Gathers all inputs and + -- outputs of subprogram Subp_Id in lists Subp_Inputs and Subp_Outputs. + -- If subprogram has no inputs and/or outputs, then the returned list + -- is No_Elist. Global_Seen is set when the related subprogram has + -- pragma [Refined_]Global. + function Delay_Config_Pragma_Analyze (N : Node_Id) return Boolean; -- N is a pragma appearing in a configuration pragma file. Most such -- pragmas are analyzed when the file is read, before parsing and analyzing -- 2.30.2