r150118 - in /trunk/gcc/ada: ChangeLog sem.adb ...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Jul 27 13:49:46 2009
New Revision: 150118

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=150118
Log:
2009-07-27  Ed Schonberg  <schonberg@adacore.com>

	* sem_eval.adb (Compile_Time_Compare): More precise handling of
	Known_Valid flag, to prevent spurious range deductions when scalar
	variables may be uninitialized. New predicate Is_Known_Valid_Operand.

2009-07-27  Robert Dewar  <dewar@adacore.com>

	* sem.adb: Minor reformatting


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem.adb
    trunk/gcc/ada/sem_eval.adb