From 99bba92c35b2ea997f0e7f326a921faf23c0b45c Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 2 May 2017 10:31:12 +0200 Subject: [multiple changes] 2017-05-02 Eric Botcazou * 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 * 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 * 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 * 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 * 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 --- gcc/ada/sem_ch6.adb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'gcc/ada/sem_ch6.adb') 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; -- cgit v1.1