diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 11:11:42 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-20 11:11:42 +0200 |
commit | 1ba563f5f9ba42ccbb36f4201bcbbe0c807ae26e (patch) | |
tree | 918f75eaaa0499d130d89f924914044fdb189136 /gcc/ada/sinfo.ads | |
parent | e361e9a1dbb5b357207de2b6459b8f69f96420da (diff) | |
download | gcc-1ba563f5f9ba42ccbb36f4201bcbbe0c807ae26e.zip gcc-1ba563f5f9ba42ccbb36f4201bcbbe0c807ae26e.tar.gz gcc-1ba563f5f9ba42ccbb36f4201bcbbe0c807ae26e.tar.bz2 |
[multiple changes]
2016-04-20 Javier Miranda <miranda@adacore.com>
* contracts.adb (Build_Postconditions_Procedure): Force its
inlining when generating C code.
* sem_attr.adb (Analyze_Attribute_Old_Result): Handle inlined
_postconditions when generating C code.
* exp_ch6.adb (Inlined_Subprogram): Inline calls to
_postconditions when generating C code.
* sinfo.ads, sinfo.adb (Corresponding_Spec, Set_Corresponding_Spec):
types of return value and argument changed from Node_Id to
Entity_Id.
2016-04-20 Vincent Celier <celier@adacore.com>
* make.adb, clean.adb, gnatname.adb: Revert previous change for now.
2016-04-20 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch12.adb (Analyze_Instance_And_Renamings): Do not reset
the Has_Delayed_Freeze flag on the anonymous instance node.
From-SVN: r235243
Diffstat (limited to 'gcc/ada/sinfo.ads')
-rw-r--r-- | gcc/ada/sinfo.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index c82bdec..3161edb 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -8993,7 +8993,7 @@ package Sinfo is (N : Node_Id) return Uint; -- Uint4 function Corresponding_Spec - (N : Node_Id) return Node_Id; -- Node5 + (N : Node_Id) return Entity_Id; -- Node5 function Corresponding_Spec_Of_Stub (N : Node_Id) return Node_Id; -- Node2 @@ -10033,7 +10033,7 @@ package Sinfo is (N : Node_Id; Val : Uint); -- Uint4 procedure Set_Corresponding_Spec - (N : Node_Id; Val : Node_Id); -- Node5 + (N : Node_Id; Val : Entity_Id); -- Node5 procedure Set_Corresponding_Spec_Of_Stub (N : Node_Id; Val : Node_Id); -- Node2 |