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

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Nov 21 11:35:55 2011
New Revision: 181563

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

	* sem_ch6.adb (Is_Public_Subprogram_For): New procedure
	(Process_PPCs): Invariants only apply to public subprograms.

2011-11-21  Robert Dewar  <dewar@adacore.com>

	* sem_util.adb, sem_util.ads, sem_attr.adb, restrict.adb,
	restrict.ads: Fix for No_Implicit_Aliasing in the renames case.

2011-11-21  Robert Dewar  <dewar@adacore.com>

	* a-finali.ads: Use pragma Pure_12 for this unit
	* aspects.adb: Add aspect Pure_12
	* aspects.ads: Add aspect Pure_12
	* opt.ads: Add note on Pure_12
	* par-prag.adb: Add dummy entry for Pure_12
	* sem_prag.adb: Implement Pure_12 pragma
	* snames.ads-tmpl: Add Entry for Pure_12

2011-11-21  Sergey Rybin  <rybin@adacore.com frybin>

	* vms_data.ads: Add qualifiers for new gnatpp options
	'--call_threshold' and '--par_threshold".
	* gnat_ugn.texi: Add description for new gnatpp options
	'--call_threshold' and '--par_threshold".

2011-11-21  Robert Dewar  <dewar@adacore.com>

	* lib.ads: Minor reformatting.

2011-11-21  Robert Dewar  <dewar@adacore.com>

	* lib-load.ads: Add comment.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-finali.ads
    trunk/gcc/ada/aspects.adb
    trunk/gcc/ada/aspects.ads
    trunk/gcc/ada/gnat_ugn.texi
    trunk/gcc/ada/lib-load.ads
    trunk/gcc/ada/lib.ads
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/par-prag.adb
    trunk/gcc/ada/restrict.adb
    trunk/gcc/ada/restrict.ads
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads
    trunk/gcc/ada/snames.ads-tmpl
    trunk/gcc/ada/vms_data.ads