diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-10 12:18:17 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-10 12:18:17 +0000 |
| commit | d61c694bd4f73df2e2ebb6c459e1402070c123fa (patch) | |
| tree | 51ca6b6e4956f9ee53091449b5541d825864b432 /gcc/ada/exp_util.ads | |
| parent | bcf8a30c7cd9ce6fac3346571fbd969d55e1f829 (diff) | |
| download | gcc-d61c694bd4f73df2e2ebb6c459e1402070c123fa.tar.gz | |
2014-10-10 Robert Dewar <dewar@adacore.com>
* exp_util.ads, sem_ch12.adb, exp_util.adb, i-fortra.ads: Minor code
reorganization.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216073 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_util.ads')
| -rw-r--r-- | gcc/ada/exp_util.ads | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads index cdc2a24adbd..871a5ba5744 100644 --- a/gcc/ada/exp_util.ads +++ b/gcc/ada/exp_util.ads @@ -311,6 +311,11 @@ package Exp_Util is -- it is harmless, so it is easier to do it in all cases, rather than -- conditionalize it in GNAT 5 or beyond. + function Containing_Package_With_Ext_Axioms + (E : Entity_Id) return Entity_Id; + -- Returns the package entity with an external axiomatization containing E, + -- if any, or Empty if none. + procedure Convert_To_Actual_Subtype (Exp : Node_Id); -- The Etype of an expression is the nominal type of the expression, -- not the actual subtype. Often these are the same, but not always. @@ -542,11 +547,6 @@ package Exp_Util is -- N_Op_Eq), or to determine the result of some other test in other cases -- (e.g. no access check required if N_Op_Ne Null). - function Get_First_Parent_With_Ext_Axioms_For_Entity - (E : Entity_Id) return Entity_Id; - -- Returns the package entity with an external axiomatization containing E, - -- if any, or Empty if none. - function Get_Stream_Size (E : Entity_Id) return Uint; -- Return the stream size value of the subtype E |