diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-23 12:19:58 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-23 12:19:58 +0200 |
| commit | b04d926e216ec1c7bd66080fd891dafc1baed9c5 (patch) | |
| tree | e96f199d4c266ea9f9630787a37a515e6d00e222 /gcc/ada/sinfo.adb | |
| parent | 3ad33e339551b0a57ffad95cd03b964f9494fc60 (diff) | |
| download | gcc-b04d926e216ec1c7bd66080fd891dafc1baed9c5.zip gcc-b04d926e216ec1c7bd66080fd891dafc1baed9c5.tar.gz gcc-b04d926e216ec1c7bd66080fd891dafc1baed9c5.tar.bz2 | |
[multiple changes]
2014-10-23 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma/Pragma_Inline & Pragma_Inline_Always):
Disable analysis in GNATprove mode.
2014-10-23 Arnaud Charlet <charlet@adacore.com>
* mlib-prj.adb: Remove obsolete references to libdecgnat (VMS only).
2014-10-23 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Ignore style check
pragmas in codepeer mode.
2014-10-23 Gary Dismukes <dismukes@adacore.com>
* gnat_rm.texi: Minor syntax fix for pragma Annotate (missing ',').
2014-10-23 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch12.adb (Inline_Instance_Body): Alphabetize
local variables and constants. Add constants Save_SM and Save_SMP
to capture SPARK_Mode-related attributes. Compile the inlined
body with the SPARK_Mode of the enclosing context.
2014-10-23 Hristian Kirtchev <kirtchev@adacore.com>
* sinfo.adb (Elaboration_Boolean): Removed.
(Set_Elaboration_Boolean): Removed.
* sinfo.ads Remove attribute Elaboration_Boolean along with its
occurrence in nodes.
(Elaboration_Boolean): Removed along with pragma Inline.
(Set_Elaboration_Boolean): Removed along with pragma Inline.
2014-10-23 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Constant_Redeclaration): Make error message more
explicit on a deferred constant whose object_definition is an
anonymous array.
2014-10-23 Vincent Celier <celier@adacore.com>
* gnatls.adb: Never call Targparm.Get_Target_Parameters.
2014-10-23 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Expression_Function): In a generic
context do not create a body, and only pre-analyze the expression,
which may include incomplete views.
From-SVN: r216584
Diffstat (limited to 'gcc/ada/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index ccbf87c..83023a4 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -1041,15 +1041,6 @@ package body Sinfo is return Flag4 (N); end Elaborate_Present; - function Elaboration_Boolean - (N : Node_Id) return Node_Id is - begin - pragma Assert (False - or else NT (N).Nkind = N_Function_Specification - or else NT (N).Nkind = N_Procedure_Specification); - return Node2 (N); - end Elaboration_Boolean; - function Else_Actions (N : Node_Id) return List_Id is begin @@ -4248,15 +4239,6 @@ package body Sinfo is Set_Flag4 (N, Val); end Set_Elaborate_Present; - procedure Set_Elaboration_Boolean - (N : Node_Id; Val : Node_Id) is - begin - pragma Assert (False - or else NT (N).Nkind = N_Function_Specification - or else NT (N).Nkind = N_Procedure_Specification); - Set_Node2 (N, Val); - end Set_Elaboration_Boolean; - procedure Set_Else_Actions (N : Node_Id; Val : List_Id) is begin |