r211459 - in /trunk/gcc/ada: ChangeLog a-finali...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jun 11 12:37:07 2014
New Revision: 211459

URL: http://gcc.gnu.org/viewcvs?rev=211459&root=gcc&view=rev
Log:
2014-06-11  Robert Dewar  <dewar@adacore.com>

	* gnat_rm.texi, switch-c.adb, sem_prag.adb, a-tgdico.ads, par-prag.adb,
	opt.ads, a-finali.ads, snames.ads-tmpl: Remove all traces of
	pragma/aspects Pure_05 Pure_12 Preelaborate_05.
	* errout.adb (Output_Messages): Avoid duplicate output for
	library level instance.
	* sem_elab.adb (Is_Call_Of_Generic_Formal): Moved to outer level
	(Check_Elab_Call): Add call to Is_Call_Of_Generic_Formal
	* exp_ch4.adb (Expand_N_Op_Expon): New interface for Exp_Modular.
	* s-expmod.ads, s-expmod.adb (Exp_Modular): Change interface to
	accomodate largest modulus value.
	* gnat_ugn.texi: Minor updates.

2014-06-11  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb (Instantiate_Package_Body): Do not attempt to
	load body of generic package or its parent, if body is optional
	and the unit does not require a body.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-finali.ads
    trunk/gcc/ada/a-tgdico.ads
    trunk/gcc/ada/errout.adb
    trunk/gcc/ada/exp_ch4.adb
    trunk/gcc/ada/gnat_rm.texi
    trunk/gcc/ada/gnat_ugn.texi
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/par-prag.adb
    trunk/gcc/ada/s-expmod.adb
    trunk/gcc/ada/s-expmod.ads
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sem_elab.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/snames.ads-tmpl
    trunk/gcc/ada/switch-c.adb