summaryrefslogtreecommitdiff
path: root/gcc/ada/sem.adb
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2009-07-27 13:49:46 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2009-07-27 13:49:46 +0000
commit54aff1853f3e3eb379b5d11acb257dbf0dd9454b (patch)
tree2ff65f70ff55d8e46ef8955b25699d15e122bcba /gcc/ada/sem.adb
parent6f3db96016b31453819415622e0f59ea20455377 (diff)
downloadgcc-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.adb2
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;