diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-06 10:20:44 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-06 10:20:44 +0000 |
| commit | 7e0d01bfbc5f5610cd3448e71cb4c595c3aff091 (patch) | |
| tree | 19e553bfc8fc773dca0168fb2791706a2c396f13 /gcc/ada/s-valuti.ads | |
| parent | 86affdbda25a17db8f0915990768d3d69dcd4fc0 (diff) | |
| download | gcc-7e0d01bfbc5f5610cd3448e71cb4c595c3aff091.tar.gz | |
2015-01-06 Thomas Quinot <quinot@adacore.com>
* freeze.adb (Set_SSO_From_Defaults): When setting scalar storage
order to native from default, make sure to also adjust bit order.
* exp_aggr.adb: Minor reformatting.
2015-01-06 Robert Dewar <dewar@adacore.com>
* s-valllu.adb, s-valllu.ads, s-valuti.ads, s-valuns.adb, s-valuns.ads,
s-valrea.adb, s-valrea.ads: Add some additional guards for
Str'Last = Positive'Last.
2015-01-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb, sem_ch8.adb: Ongoing work for wrappers for actual
subprograms.
2015-01-06 Javier Miranda <miranda@adacore.com>
* exp_disp.adb (Expand_Interface_Conversion): Reapply patch.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219250 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-valuti.ads')
| -rw-r--r-- | gcc/ada/s-valuti.ads | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/s-valuti.ads b/gcc/ada/s-valuti.ads index e69af0f089f..a2db3432b68 100644 --- a/gcc/ada/s-valuti.ads +++ b/gcc/ada/s-valuti.ads @@ -71,6 +71,9 @@ package System.Val_Util is -- special case of an all-blank string, and Ptr is unchanged, and hence -- is greater than Max as required in this case. Constraint_Error is also -- raised in this case. + -- + -- This routine must not be called with Str'Last = Positive'Last. There is + -- no check for this case, the caller must ensure this condition is met. procedure Scan_Plus_Sign (Str : String; @@ -95,6 +98,9 @@ package System.Val_Util is -- returning a suitable large value. If the base is zero, then any value -- is allowed, and otherwise the large value will either cause underflow -- or overflow during the scaling process which is fine. + -- + -- This routine must not be called with Str'Last = Positive'Last. There is + -- no check for this case, the caller must ensure this condition is met. procedure Scan_Trailing_Blanks (Str : String; P : Positive); -- Checks that the remainder of the field Str (P .. Str'Last) is all @@ -113,5 +119,8 @@ package System.Val_Util is -- where the underscore is invalid, Constraint_Error is raised with Ptr -- set appropriately, otherwise control returns with P incremented past -- the underscore. + -- + -- This routine must not be called with Str'Last = Positive'Last. There is + -- no check for this case, the caller must ensure this condition is met. end System.Val_Util; |