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

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213344 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index c169828..1519eaa 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -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

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 10ffab9..2f04875 100644 (file)
--- 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 354886d..a97595c 100644 (file)
--- 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