diff options
Diffstat (limited to 'gcc/ada/validsw.ads')
| -rw-r--r-- | gcc/ada/validsw.ads | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/gcc/ada/validsw.ads b/gcc/ada/validsw.ads index 38214fa8b03..a2d0a189b38 100644 --- a/gcc/ada/validsw.ads +++ b/gcc/ada/validsw.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2001-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2005, 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- -- @@ -48,11 +48,12 @@ package Validsw is -- expressions in object declarations are checked for validity. Validity_Check_Default : Boolean := True; - -- Controls default (reference manual) validity checking. If this switch - -- is set to True using -gnatVd or a 'd' in the argument of a Validity_ - -- Checks pragma then left side subscripts and case statement arguments - -- are checked for validity. This switch is also set by default if no - -- -gnatV switch is used and no Validity_Checks pragma is processed. + -- Controls default (reference manual) validity checking. If this switch is + -- set to True using -gnatVd or a 'd' in the argument of a Validity_ Checks + -- pragma (or the initial default value is used, set True), then left side + -- subscripts and case statement arguments are checked for validity. This + -- switch is also set by default if no -gnatV switch is used and no + -- Validity_Checks pragma is processed. Validity_Check_Floating_Point : Boolean := False; -- Normally validity checking applies only to discrete values (integer |