diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-29 10:58:27 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-29 10:58:27 +0100 |
| commit | 37ae92c459ceb0fa65ff4041403f918d286ece25 (patch) | |
| tree | 354f2de1a761336bda0e224a467b6aa61a899b4e /gcc/ada/s-valuti.ads | |
| parent | f66369942fcc7a0c39398541e17a82fba7e0518e (diff) | |
| download | gcc-37ae92c459ceb0fa65ff4041403f918d286ece25.zip gcc-37ae92c459ceb0fa65ff4041403f918d286ece25.tar.gz gcc-37ae92c459ceb0fa65ff4041403f918d286ece25.tar.bz2 | |
[multiple changes]
2012-10-29 Thomas Quinot <quinot@adacore.com>
* sem_elab.adb: Minor reformatting and code reorganization.
2012-10-29 Robert Dewar <dewar@adacore.com>
* par-ch4.adb (P_Primary): Warn on bad use of unary minus.
2012-10-29 Robert Dewar <dewar@adacore.com>
* s-valuti.ads, s-valuti.adb (Bad_Value): New procedure.
* s-valllu.adb, s-valwch.adb, s-valcha.adb, s-valint.adb,
s-valuns.adb, s-valrea.adb, s-valboo.adb, s-valenu.adb,
s-vallli.adb: Use Bad_Value everywhere.
2012-10-29 Yannick Moy <moy@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Do not suppress checks
in Alfa mode.
From-SVN: r192915
Diffstat (limited to 'gcc/ada/s-valuti.ads')
| -rw-r--r-- | gcc/ada/s-valuti.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/s-valuti.ads b/gcc/ada/s-valuti.ads index 0a92352..ce9dc3b 100644 --- a/gcc/ada/s-valuti.ads +++ b/gcc/ada/s-valuti.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2012, 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- -- @@ -34,6 +34,10 @@ package System.Val_Util is pragma Pure; + procedure Bad_Value (S : String); + pragma No_Return (Bad_Value); + -- Raises constraint error with message: bad input for 'Value: "xxx" + procedure Normalize_String (S : in out String; F, L : out Integer); |