diff options
| author | Yannick Moy <moy@adacore.com> | 2014-07-31 12:24:57 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 14:24:57 +0200 |
| commit | 9420f51f051e07b8c60e36e1ef45806788d4e590 (patch) | |
| tree | 2e00f1e8973142f3875ce7760d16199e52eea84f /gcc/ada/sem_prag.ads | |
| parent | 9697805c7ad19e329c9fdc836c8f42f0c731d603 (diff) | |
| download | gcc-9420f51f051e07b8c60e36e1ef45806788d4e590.zip gcc-9420f51f051e07b8c60e36e1ef45806788d4e590.tar.gz gcc-9420f51f051e07b8c60e36e1ef45806788d4e590.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 354886d..a97595c 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 |