From 54aff1853f3e3eb379b5d11acb257dbf0dd9454b Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 27 Jul 2009 13:49:46 +0000 Subject: 2009-07-27 Ed Schonberg * 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 * sem.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150118 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sem.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gcc/ada/sem.adb') diff --git a/gcc/ada/sem.adb b/gcc/ada/sem.adb index b8ad571487e..d40b55c0665 100644 --- a/gcc/ada/sem.adb +++ b/gcc/ada/sem.adb @@ -1967,7 +1967,7 @@ package body Sem is -- with_clauses. Do not process main unit prematurely. if Pnode = CU - and then (CU /= Cunit (Main_Unit)) + and then CU /= Cunit (Main_Unit) then Walk_Immediate (Cunit (S), Include_Limited); end if; -- cgit v1.2.1