Mercurial > hg > CbC > CbC_gcc
diff gcc/ada/checks.ads @ 131:84e7813d76e9
gcc-8.2
| author | mir3636 |
|---|---|
| date | Thu, 25 Oct 2018 07:37:49 +0900 |
| parents | 04ced10e8804 |
| children | 1830386684a0 |
line wrap: on
line diff
--- a/gcc/ada/checks.ads Fri Oct 27 22:46:09 2017 +0900 +++ b/gcc/ada/checks.ads Thu Oct 25 07:37:49 2018 +0900 @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2018, 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- -- @@ -310,14 +310,16 @@ -- then OK is True on return, and Lo and Hi are set to a conservative -- estimate of the possible range of values of N. Thus if OK is True on -- return, the value of the subexpression N is known to lie in the range - -- Lo .. Hi (inclusive). If the expression is not of a discrete type, or - -- some kind of error condition is detected, then OK is False on exit, and - -- Lo/Hi are set to No_Uint. Thus the significance of OK being False on - -- return is that no useful information is available on the range of the - -- expression. Assume_Valid determines whether the processing is allowed to - -- assume that values are in range of their subtypes. If it is set to True, - -- then this assumption is valid, if False, then processing is done using - -- base types to allow invalid values. + -- Lo .. Hi (inclusive). For enumeration and character literals the values + -- returned are the Pos value in the relevant enumeration type. If the + -- expression is not of a discrete type, or some kind of error condition + -- is detected, then OK is False on exit, and Lo/Hi are set to No_Uint. + -- Thus the significance of OK being False on return is that no useful + -- information is available on the range of the expression. Assume_Valid + -- determines whether the processing is allowed to assume that values are + -- in range of their subtypes. If it is set to True, then this assumption + -- is valid, if False, then processing is done using base types to allow + -- invalid values. procedure Determine_Range_R (N : Node_Id;