r194802 - in /trunk/gcc/ada: ChangeLog adaint.c...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jan  2 11:53:18 2013
New Revision: 194802

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194802
Log:
2013-01-02  Robert Dewar  <dewar@adacore.com>

	* einfo.ads, einfo.adb (Has_Independent_Components): New flag.
	* freeze.adb (Size_Known): We do not know the size of a packed
	record if it has atomic components, by reference type components,
	or independent components.
	* sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new
	flag Has_Independent_Components.

2013-01-02  Yannick Moy  <moy@adacore.com>

	* opt.ads (Warn_On_Suspicious_Contract): Set to True by default.
	* usage.adb (Usage): Update usage message.

2013-01-02  Pascal Obry  <obry@adacore.com>

	* adaint.c (__gnat_is_module_name_supported): New constant.

2013-01-02  Ed Schonberg  <schonberg@adacore.com>

	* sem_attr.adb (Check_Array_Type): Reject an attribute reference on an
	array whose component type does not have a completion.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/adaint.c
    trunk/gcc/ada/einfo.adb
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/usage.adb