diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-07 11:13:15 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-07 11:13:15 +0000 |
| commit | 56e11f1214108d81c908076214fe6429f345b83d (patch) | |
| tree | 7e29f04a9f5e7c2488ad2c344c01a8bcdefe2514 /gcc/ada/s-valllu.ads | |
| parent | c06a893fd03d290ae7c72bbb8a7160db05a83889 (diff) | |
| download | gcc-56e11f1214108d81c908076214fe6429f345b83d.tar.gz | |
2015-01-07 Bob Duff <duff@adacore.com>
* usage.adb (Usage): Document -gnatw.f switch.
2015-01-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: Code clean up and minor reformatting.
2015-01-07 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Type_Conversion): Add guard for
Raise_Accessibility_Error call.
* s-valllu.ads (Scan_Raw_Long_Long_Unsigned): Add documentation
on handling of invalid digits in based constants.
* s-fatgen.ads: Minor reformatting.
* sem_attr.adb (Analyze_Attribute, case Unrestricted_Access):
Avoid noting bogus modification for Valid test.
* snames.ads-tmpl (Name_Attr_Long_Float): New Name.
* einfo.ads: Minor reformatting.
* sem_warn.adb: Minor comment clarification.
* sem_ch12.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219296 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-valllu.ads')
| -rw-r--r-- | gcc/ada/s-valllu.ads | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/ada/s-valllu.ads b/gcc/ada/s-valllu.ads index 3977e95473f..993ea8b0dd8 100644 --- a/gcc/ada/s-valllu.ads +++ b/gcc/ada/s-valllu.ads @@ -61,7 +61,17 @@ package System.Val_LLU is -- Constraint_Error is raised. -- -- Note: these rules correspond to the requirements for leaving the pointer - -- positioned in Text_IO.Get + -- positioned in Text_IO.Get. Note that the rules as stated in the RM would + -- seem to imply that for a case like + -- + -- 8#12345670009# + + -- the pointer should be left at the first # having scanned out the longest + -- valid integer literal (8), but in fact in this case the pointer points + -- to the invalid based digit (9 in this case). Not only would the strict + -- reading of the RM require unlimited backup, which is unreasonable, but + -- in addition, the intepretation as given here is the one expected and + -- enforced by the ACATS tests. -- -- Note: if Str is empty, i.e. if Max is less than Ptr, then this is a -- special case of an all-blank string, and Ptr is unchanged, and hence |