diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:31:12 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:31:12 +0200 |
| commit | 99bba92c35b2ea997f0e7f326a921faf23c0b45c (patch) | |
| tree | 0f1a1b20cc000596b3e32563078a7f915b340a58 /gcc/ada/sem_ch6.adb | |
| parent | bae8f1562f1145885374113ac4f718d4cf32a609 (diff) | |
| download | gcc-99bba92c35b2ea997f0e7f326a921faf23c0b45c.zip gcc-99bba92c35b2ea997f0e7f326a921faf23c0b45c.tar.gz gcc-99bba92c35b2ea997f0e7f326a921faf23c0b45c.tar.bz2 | |
[multiple changes]
2017-05-02 Eric Botcazou <ebotcazou@adacore.com>
* opt.ads: Add missing GNAT markers in comments.
* opt.adb (Set_Opt_Config_Switches): Do not override earlier
settings of Optimize_Alignment at the end.
2017-05-02 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Apply_Constraint_Check): Do not apply
a discriminant check when the associated type is a constrained
subtype created for an unconstrained nominal type.
* exp_attr.adb: Minor reformatting.
2017-05-02 Bob Duff <duff@adacore.com>
* sem_ch3.adb (OK_For_Limited_Init_In_05): Handle correctly
the N_Raise_Expression case.
* sem_ch6.adb (Check_Limited_Return): Minor: clarify comment,
and add assertions.
2017-05-02 Yannick Moy <moy@adacore.com>
* exp_ch4.adb (Expand_N_Op_Ne): Do not bump parenthese level and
optimize length comparison in GNATprove mode.
* exp_spark.adb (Expand_SPARK_Op_Ne): New function to rewrite
operator /= into negation of operator = when needed.
(Expand_SPARK): Call new
function to expand operator /=.
2017-05-02 Ed Schonberg <schonberg@adacore.com>
* exp_fixd.adb (Expand_Divide_Fixed_By_Fixed_Giving_Fixed):
Simplify the expression for a fixed-fixed division to remove
divisions by constants whenever possible, as an optimization
for restricted targets.
From-SVN: r247468
Diffstat (limited to 'gcc/ada/sem_ch6.adb')
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 5c31c42..61e4f86 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -5996,9 +5996,11 @@ package body Sem_Ch6 is & "(RM-2005 6.5(5.5/2))?y?", Expr); end if; - -- Ada 95 mode, compatibility warnings disabled + -- Ada 95 mode, and compatibility warnings disabled else + pragma Assert (Ada_Version <= Ada_95); + pragma Assert (not (Warn_On_Ada_2005_Compatibility or GNAT_Mode)); return; -- skip continuation messages below end if; |