diff options
Diffstat (limited to 'gcc/ada/validsw.adb')
| -rw-r--r-- | gcc/ada/validsw.adb | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ada/validsw.adb b/gcc/ada/validsw.adb index 5c2cbd82a7d..22730dc7690 100644 --- a/gcc/ada/validsw.adb +++ b/gcc/ada/validsw.adb @@ -8,7 +8,7 @@ -- -- -- $Revision$ -- -- --- Copyright (C) 2001 Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2002 Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -128,7 +128,12 @@ package body Validsw is C := Options (J); J := J + 1; + -- Turn on validity checking (gets turned off by Vn) + + Validity_Checks_On := True; + case C is + when 'c' => Validity_Check_Copies := True; @@ -204,6 +209,7 @@ package body Validsw is Validity_Check_Returns := False; Validity_Check_Subscripts := False; Validity_Check_Tests := False; + Validity_Checks_On := False; when ' ' => null; @@ -215,7 +221,6 @@ package body Validsw is end case; end loop; - Validity_Checks_On := True; OK := True; Err_Col := Options'Last + 1; end Set_Validity_Check_Options; |