OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

sem_parg.adb, [...] (Collect_Subprogram_Inputs_Outputs): Make subprogram public. 

2014-07-31  Yannick Moy  <moy@adacore.com>

	* sem_parg.adb, sem_prag.ads (Collect_Subprogram_Inputs_Outputs):
	Make subprogram public.

From-SVN: r213344
This commit is contained in:
Yannick Moy 2014-07-31 12:24:57 +00:00 committed by Arnaud Charlet
parent 9697805c7a
commit 9420f51f05
3 changed files with 18 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/ChangeLog
View File

@ -1,3 +1,8 @@
2014-07-31 Yannick Moy <moy@adacore.com>
* sem_parg.adb, sem_prag.ads (Collect_Subprogram_Inputs_Outputs):
Make subprogram public.
2014-07-31 Ed Schonberg <schonberg@adacore.com>
* exp_ch9.adb (Expand_N_Protected_Type_Declaration): New

11
gcc/ada/sem_prag.adb
View File

@ -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;

14
gcc/ada/sem_prag.ads
View File

@ -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