diff options
| author | Robert Dewar <dewar@adacore.com> | 2012-10-02 12:59:17 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 14:59:17 +0200 |
| commit | 6e6636ec8b5044a7ab2b464f6e7d7d71ade42356 (patch) | |
| tree | bd1180312057b27717b504e3498a14d80f2da58f /gcc/ada/switch.ads | |
| parent | 00bf6feed1ba6566d593073044b3fb133f2305ec (diff) | |
| download | gcc-6e6636ec8b5044a7ab2b464f6e7d7d71ade42356.zip gcc-6e6636ec8b5044a7ab2b464f6e7d7d71ade42356.tar.gz gcc-6e6636ec8b5044a7ab2b464f6e7d7d71ade42356.tar.bz2 | |
s-bignum.adb (Big_Exp): 0**0 should be 1, not 0.
2012-10-02 Robert Dewar <dewar@adacore.com>
* s-bignum.adb (Big_Exp): 0**0 should be 1, not 0.
(Big_Exp): Fix possible error for (-1)**0.
(Big_Exp): Fix error in computing 2**K for small K.
(Big_Mod): Fix wrong sign for negative operands.
(Div_Rem): Fix bad results for operands close to 2**63.
* s-bignum.ads: Add documentation and an assertion to require
LLI size to be 64 bits.
* sem_prag.adb (Analyze_Pragma, case Overflow_Checks): Do not
allow ELIMINATED if LLI'Size is other than 64 bits.
* switch-c.adb (Scan_Switches): Do not allow -gnato3 if LLI'Size
is not 64 bits.
* switch.ads (Bad_Switch): Add missing pragma No_Return.
* gnat_ugn.texi: Added appendix on Overflow Check Handling in GNAT.
2012-10-02 Robert Dewar <dewar@adacore.com>
* sem_type.adb: Minor reformatting.
From-SVN: r191979
Diffstat (limited to 'gcc/ada/switch.ads')
| -rw-r--r-- | gcc/ada/switch.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/switch.ads b/gcc/ada/switch.ads index 5f02ba2..9a01384 100644 --- a/gcc/ada/switch.ads +++ b/gcc/ada/switch.ads @@ -128,6 +128,7 @@ private procedure Bad_Switch (Switch : Character); procedure Bad_Switch (Switch : String); + pragma No_Return (Bad_Switch); -- Fail with an appropriate message when a switch is not recognized end Switch; |