This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r150118 - in /trunk/gcc/ada: ChangeLog sem.adb ...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 27 Jul 2009 13:49:47 -0000
- Subject: r150118 - in /trunk/gcc/ada: ChangeLog sem.adb ...
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