From 628078425bbdfc487c569bf949ad5a334c13a006 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 25 Apr 2017 15:25:06 +0200 Subject: [multiple changes] 2017-04-25 Thomas Quinot * sem_prag.adb (Analyze_Pragma, case Pragma_Check): Remove bogus circuitry for the case where Name is Predicate. 2017-04-25 Thomas Quinot * par_sco.adb(Traverse_Declarations_Or_Statements.Traverse_Aspects): Create SCOs for Predicate aspects in disabled state initially, to be enabled later on by... * sem_ch13.adb (Build_Predicate_Functions.Add_Predicates): Mark SCO for predicate as enabled. 2017-04-25 Hristian Kirtchev * comperr.adb (Compiler_Abort): Remove now obsolete pair of pragmas Warnings Off / On. * namet.adb (Finalize): Remove now obsolete pair of pragmas Warnings Off / On. * output.adb: Remove now obsolete pair of pragmas Warnings Off / On. * sem_warn.adb (Warn_On_Constant_Valid_Condition): Do not consider comparisons between static expressions because their values cannot be invalidated. * urealp.adb (Tree_Read): Remove now obsolete pair of pragmas Warnings Off / On. (Tree_Write): Remove now obsolete pair of pragmas Warnings Off / On. * usage.adb Remove now obsolete pair of pragmas Warnings Off / On. 2017-04-25 Bob Duff * sem_elab.adb (In_Task_Activation): Trace internal calls in task bodies. From-SVN: r247227 --- gcc/ada/namet.adb | 9 --------- 1 file changed, 9 deletions(-) (limited to 'gcc/ada/namet.adb') diff --git a/gcc/ada/namet.adb b/gcc/ada/namet.adb index a161046..6b9f61d 100644 --- a/gcc/ada/namet.adb +++ b/gcc/ada/namet.adb @@ -672,12 +672,6 @@ package body Namet is Max_Chain_Length := C; end if; - -- Disable the warnings emitted by -gnatwc because the tests - -- involving Verbosity involve conditional compilation. - - pragma Warnings - (Off, "condition can only be * if invalid values present"); - if Verbosity >= 2 then Write_Str ("Hash_Table ("); Write_Int (J); @@ -709,9 +703,6 @@ package body Namet is N := Name_Entries.Table (N).Hash_Link; end loop; end if; - - pragma Warnings - (On, "condition can only be * if invalid values present"); end; end if; end loop; -- cgit v1.1