diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-30 12:44:20 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-30 12:44:20 +0100 |
| commit | cd2c6027305a6d5f11efd5b1d8fc83fbac123b5a (patch) | |
| tree | 433b64a9dcfd0033dae20f850a7a8a300a07dd89 /gcc/ada/exp_util.ads | |
| parent | b3407ce0ca15ff997069847461de8eee01ac1dd2 (diff) | |
| download | gcc-cd2c6027305a6d5f11efd5b1d8fc83fbac123b5a.zip gcc-cd2c6027305a6d5f11efd5b1d8fc83fbac123b5a.tar.gz gcc-cd2c6027305a6d5f11efd5b1d8fc83fbac123b5a.tar.bz2 | |
[multiple changes]
2014-10-30 Ed Schonberg <schonberg@adacore.com>
* exp_util.ads, exp_util.adb (Following_Address_Clause): Modify
Has_Following_Address_Clause so that it returns the address
clause if present, rather than a boolean value.
* sem_ch3.adb (Analyze_Object_Declaration): use
Following_Address_Clause.
* exp_ch3.adb (Expand_N_Object_Declaration): When a tagged object
is initialized, insert tag assignment after object is frozen,
which may be after an address clause that follows the declaration.
2014-10-30 Tristan Gingold <gingold@adacore.com>
* system-darwin-x86.ads, system-linux-s390x.ads, system-linux-alpha.ads,
system-vxworks-arm.ads, system-freebsd-x86_64.ads,
system-linux-hppa.ads, system-linux-s390.ads,
system-solaris-sparcv9.ads, system-mingw.ads, system-linux-ia64.ads,
system-vxworks-sparcv9.ads, system-linux-ppc.ads, system-aix64.ads,
system-linux-sh4.ads, system-solaris-x86.ads, system-linux-x86_64.ads,
system-linux-x86.ads, system-vxworks-ppc.ads, system-hpux.ads,
system-linux-armel.ads, system-darwin-ppc.ads, system-solaris-sparc.ads,
system-vxworks-m68k.ads, system-hpux-ia64.ads, system.ads,
system-solaris-x86_64.ads, system-mingw-x86_64.ads,
system-vxworks-mips.ads, system-linux-sparc.ads, system-freebsd-x86.ads,
system-aix.ads, system-darwin-x86_64.ads, system-vxworks-x86.ads: Add
pragma No_Elaboration_Code_All.
2014-10-30 Eric Botcazou <ebotcazou@adacore.com>
* gnat_ugn.texi: Minor improvement to -flto entry.
From-SVN: r216921
Diffstat (limited to 'gcc/ada/exp_util.ads')
| -rw-r--r-- | gcc/ada/exp_util.ads | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads index 770b23c..c0edb4b 100644 --- a/gcc/ada/exp_util.ads +++ b/gcc/ada/exp_util.ads @@ -502,6 +502,12 @@ package Exp_Util is -- be evaluated, for example if N is the right operand of a short circuit -- operator. + function Following_Address_Clause (D : Node_Id) return Node_Id; + -- D is the node for an object declaration. This function searches the + -- current declarative part to look for an address clause for the object + -- being declared, and returns the clause if one is found, returns + -- Empty otherwise. + procedure Force_Evaluation (Exp : Node_Id; Name_Req : Boolean := False); @@ -569,11 +575,6 @@ package Exp_Util is -- pragmas at the start of the package declaration contains -- pragma Annotate (GNATprove, External_Axiomatization); - function Has_Following_Address_Clause (D : Node_Id) return Boolean; - -- D is the node for an object declaration. This function searches the - -- current declarative part to look for an address clause for the object - -- being declared, and returns True if one is found. - function Homonym_Number (Subp : Entity_Id) return Nat; -- Here subp is the entity for a subprogram. This routine returns the -- homonym number used to disambiguate overloaded subprograms in the same |