r213185 - in /trunk/gcc/ada: ChangeLog expect.c...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Jul 29 13:43:43 2014
New Revision: 213185

URL: https://gcc.gnu.org/viewcvs?rev=213185&root=gcc&view=rev
Log:
2014-07-29  Robert Dewar  <dewar@adacore.com>

	* sem_prag.adb (Analyze_Pragma, case Allow_Integer_Address):
	Fix incorrect RTE call which caused bomb if pragma was in
	configuration pragma file.

2014-07-29  Jerome Lambourg  <lambourg@adacore.com>

	* expect.c (__gnat_expect_poll): Fix typo in previous change.
	* g-expect.adb: Update comments.

2014-07-29  Arnaud Charlet  <charlet@adacore.com>

	* s-parame-hpux.ads, s-parame-vms-ia64.ads, s-parame.ads
	(Default_Attribute_Count): Bump to 16 on native platforms.

2014-07-29  Ed Schonberg  <schonberg@adacore.com>

	* sem_res.adb: Add guard to front-end inlining for SPARK.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/expect.c
    trunk/gcc/ada/g-expect.adb
    trunk/gcc/ada/s-parame-hpux.ads
    trunk/gcc/ada/s-parame-vms-ia64.ads
    trunk/gcc/ada/s-parame.ads
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_res.adb