r191958 - in /trunk/gcc/ada: ChangeLog sem_ch4.adb

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Oct  2 08:10:54 2012
New Revision: 191958

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191958
Log:
2012-10-02  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch4.adb (Is_Empty_Range): Use bounds of index type
	to determine whether an array is empty when optimizing
	a quantified expression over a null range. Use of RM_Size
	was incorrect. Analyze condition before constant-folding the
	expression to catch potential errors. Modify the error message
	to avoid mathematical terminology.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch4.adb