From a33565dde5aa15ee77ef57b7249021e36a56579e Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 20 Jan 2014 13:47:41 +0000 Subject: 2014-01-20 Yannick Moy * exp_spark.adb (Expand_SPARK_Call): Remove procedure. * opt.adb, opt.ads (Full_Expander_Active): Remove function. * checks.adb, exp_ch6.adb, exp_ch9.adb, exp_disp.adb, sem_aggr.adb, * sem_ch10.adb, sem_ch5.adb, sem_ch6.adb, sem_ch8.adb, sem_ch9.adb, * sem_disp.adb, sem_res.adb Replace Full_Expander_Active by Expander_Active. 2014-01-20 Yannick Moy * sinfo.ads Update documentation of GNATprove mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206806 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/exp_spark.adb | 38 -------------------------------------- 1 file changed, 38 deletions(-) (limited to 'gcc/ada/exp_spark.adb') diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb index fb7aad23397..e3e875cd431 100644 --- a/gcc/ada/exp_spark.adb +++ b/gcc/ada/exp_spark.adb @@ -27,7 +27,6 @@ with Atree; use Atree; with Einfo; use Einfo; with Exp_Dbug; use Exp_Dbug; with Exp_Util; use Exp_Util; -with Sem_Aux; use Sem_Aux; with Sem_Res; use Sem_Res; with Sem_Util; use Sem_Util; with Sinfo; use Sinfo; @@ -38,10 +37,6 @@ package body Exp_SPARK is -- Local Subprograms -- ----------------------- - procedure Expand_SPARK_Call (N : Node_Id); - -- This procedure contains common processing for function and procedure - -- calls: replacement of renaming by subprogram renamed - procedure Expand_SPARK_N_Object_Renaming_Declaration (N : Node_Id); -- Perform name evaluation for a renamed object @@ -71,9 +66,6 @@ package body Exp_SPARK is N_Subprogram_Body => Qualify_Entity_Names (N); - when N_Subprogram_Call => - Expand_SPARK_Call (N); - when N_Expanded_Name | N_Identifier => Expand_Potential_Renaming (N); @@ -88,36 +80,6 @@ package body Exp_SPARK is end case; end Expand_SPARK; - ----------------------- - -- Expand_SPARK_Call -- - ----------------------- - - procedure Expand_SPARK_Call (N : Node_Id) is - begin - -- If the subprogram is a renaming, replace it in the call with the name - -- of the actual subprogram being called. We distinguish renamings from - -- inherited primitive operations, which both have an Alias component, - -- by looking at the parent node of the entity. The entity for a - -- renaming has the function or procedure specification node as - -- parent, while an inherited primitive operation has the derived - -- type declaration as parent. - - if Nkind (Name (N)) in N_Has_Entity - and then Present (Entity (Name (N))) - then - declare - E : constant Entity_Id := Entity (Name (N)); - begin - if Nkind_In (Parent (E), N_Function_Specification, - N_Procedure_Specification) - and then Present (Alias (E)) - then - Set_Entity (Name (N), Ultimate_Alias (E)); - end if; - end; - end if; - end Expand_SPARK_Call; - ------------------------------------------------ -- Expand_SPARK_N_Object_Renaming_Declaration -- ------------------------------------------------ -- cgit v1.2.1