r191957 - in /trunk/gcc/ada: ChangeLog gnat_rm....

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Oct  2 08:08:18 2012
New Revision: 191957

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

	* usage.adb, gnat_rm.texi, vms_data.ads: Add entry for
	/OVERFLOW_CHECKS=?? generating -gnato?? for control
	of extended overflow checking.
	* ug_words: Add entry for -gnato?? for /OVERFLOW_CHECKS=??
	* gnat_ugn.texi: Add documentation for -gnato?? for control of overflow
	checking mode.

2012-10-02  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch4.adb (Analyze_Quantified_Expression): If the iterator in
	a quantified expression is statically known to be null (e.g. a
	array with an empty index type) emit a warning.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gnat_rm.texi
    trunk/gcc/ada/gnat_ugn.texi
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/ug_words
    trunk/gcc/ada/usage.adb
    trunk/gcc/ada/vms_data.ads