r216084 - in /trunk/gcc/ada: ChangeLog a-stwima...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Oct 10 14:00:07 2014
New Revision: 216084

URL: https://gcc.gnu.org/viewcvs?rev=216084&root=gcc&view=rev
Log:
2014-10-10  Yannick Moy  <moy@adacore.com>

	* sem_prag.adb (Analyze_Global_Item): Accept formal objects in Global
	contracts.
	* errout.adb, errout.ads (SPARK_Msg_NE): Issue error unless
	SPARK_Mode is Off.

2014-10-10  Vadim Godunko  <godunko@adacore.com>

	* a-stwima.adb (To_Sequence): Compute size of result array.

2014-10-10  Javier Miranda  <miranda@adacore.com>

	* gnat_ugn.texi (Interfacing with C++ at the Class Level): Update the
	sources of the example to avoid a warning when the Ada files are
	automatically generated by the binding generator.

2014-10-10  Ed Schonberg  <schonberg@adacore.com>

	* sem_attr.adb (Resolve_Attribute, case 'Update): Set
	Do_Range_Check on the expression of a record component
	association when needed, as is done for array components, when
	the corresponding type is a scalar type.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-stwima.adb
    trunk/gcc/ada/errout.adb
    trunk/gcc/ada/errout.ads
    trunk/gcc/ada/gnat_ugn.texi
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_prag.adb