diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-10-10 12:18:17 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-10 14:18:17 +0200 |
| commit | 1e3ed0fc933a9c77ddc14f7097dd601d824c2b35 (patch) | |
| tree | 51ca6b6e4956f9ee53091449b5541d825864b432 /gcc/ada/exp_util.ads | |
| parent | aa79a1e1c8bc73e1b5efcfa9de532f8c6b2e3151 (diff) | |
| download | gcc-1e3ed0fc933a9c77ddc14f7097dd601d824c2b35.zip gcc-1e3ed0fc933a9c77ddc14f7097dd601d824c2b35.tar.gz gcc-1e3ed0fc933a9c77ddc14f7097dd601d824c2b35.tar.bz2 | |
exp_util.ads, [...]: Minor code reorganization.
2014-10-10 Robert Dewar <dewar@adacore.com>
* exp_util.ads, sem_ch12.adb, exp_util.adb, i-fortra.ads: Minor code
reorganization.
From-SVN: r216073
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 cdc2a24..871a5ba 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 |