diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-07-27 13:49:46 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-07-27 13:49:46 +0000 |
commit | 54aff1853f3e3eb379b5d11acb257dbf0dd9454b (patch) | |
tree | 2ff65f70ff55d8e46ef8955b25699d15e122bcba /gcc/ada/sem.adb | |
parent | 6f3db96016b31453819415622e0f59ea20455377 (diff) | |
download | gcc-54aff1853f3e3eb379b5d11acb257dbf0dd9454b.tar.gz |
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
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150118 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem.adb')
-rw-r--r-- | gcc/ada/sem.adb | 2 |
1 files changed, 1 insertions, 1 deletions
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; |