diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-20 12:18:09 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-20 12:18:09 +0000 |
commit | f1cabbf47b50e8c6228ab05a8392e001a58dd7d4 (patch) | |
tree | 71bceedb186341d23abe6ec26381f6a4827c7043 /gcc/ada/sem_util.ads | |
parent | 7e2d3667c4bd5eb0d804839bfc861a71a8f66b03 (diff) | |
download | gcc-f1cabbf47b50e8c6228ab05a8392e001a58dd7d4.tar.gz |
2015-10-20 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb: Code clean up.
2015-10-20 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Expand_N_Extended_Return_Statement): Code cleanup.
(Make_Build_In_Place_Call_In_Object_Declaration): Update the
parameter profile. Code cleanup. Request debug info for the
object renaming declaration.
(Move_Activation_Chain): Add new formal parameter and update the
comment on usage.
* exp_ch6.ads (Make_Build_In_Place_Call_In_Object_Declaration):
Update the parameter profile and comment on usage.
* sem_util.ads, sem_util.adb (Remove_Overloaded_Entity): New routine,
currently unused.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229067 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_util.ads')
-rw-r--r-- | gcc/ada/sem_util.ads | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 872bdedf388..c0bf234ce70 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1781,12 +1781,6 @@ package Sem_Util is -- convenience, qualified expressions applied to object names are also -- allowed as actuals for this function. - function Original_Corresponding_Operation (S : Entity_Id) return Entity_Id; - -- [Ada 2012: AI05-0125-1]: If S is an inherited dispatching primitive S2, - -- or overrides an inherited dispatching primitive S2, the original - -- corresponding operation of S is the original corresponding operation of - -- S2. Otherwise, it is S itself. - function Original_Aspect_Pragma_Name (N : Node_Id) return Name_Id; -- Retrieve the name of aspect or pragma N taking into account a possible -- rewrite and whether the pragma is generated from an aspect as the names @@ -1799,6 +1793,12 @@ package Sem_Util is -- Type_Invariant -> Name_uType_Invariant -- Type_Invariant'Class -> Name_uType_Invariant + function Original_Corresponding_Operation (S : Entity_Id) return Entity_Id; + -- [Ada 2012: AI05-0125-1]: If S is an inherited dispatching primitive S2, + -- or overrides an inherited dispatching primitive S2, the original + -- corresponding operation of S is the original corresponding operation of + -- S2. Otherwise, it is S itself. + function Policy_In_Effect (Policy : Name_Id) return Name_Id; -- Given a policy, return the policy identifier associated with it. If no -- such policy is in effect, the value returned is No_Name. @@ -1845,6 +1845,12 @@ package Sem_Util is procedure Remove_Homonym (E : Entity_Id); -- Removes E from the homonym chain + procedure Remove_Overloaded_Entity (Id : Entity_Id); + -- Remove arbitrary entity Id from the homonym chain, the scope chain and + -- the primitive operations list of the associated controlling type. NOTE: + -- the removal performed by this routine does not affect the visibility of + -- existing homonyms. + function Rep_To_Pos_Flag (E : Entity_Id; Loc : Source_Ptr) return Node_Id; -- This is used to construct the second argument in a call to Rep_To_Pos -- which is Standard_True if range checks are enabled (E is an entity to |