From 5708155960d0abd5f30e12e9477f946c60da43c8 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 25 Apr 2013 12:31:36 +0200 Subject: [multiple changes] 2013-04-25 Hristian Kirtchev * sem_ch4.adb (Analyze_Quantified_Expression): Add local variable Loop_Id. Verify that the loop variable is used within the condition of the quantified expression. (Referenced): New routine. 2013-04-25 Hristian Kirtchev * sem_case.adb (Analyze_Choices): Enhance the error message given on a bad use of subtype predicate. * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Enhance the error message given on a bad use of subtype predicate. * sem_util.adb (Bad_Predicated_Subtype_Use): Add formal parameter Suggest_Static. Emit an extra error message advising how to remedy the bad use of the predicate if the context warrants it. * sem_util.ads (Bad_Predicated_Subtype_Use): Add formal parameter Suggest_Static along with a comment explaining its usage. 2013-04-25 Ed Schonberg * sem_disp.adb (Check_Dispatching_Operation): Further refinement to checks for AI05-0125: the check for a hidden primitive that may be overridden by the new declaration only applies if the hidden operation is never declared. This is not the case if the operation is declared in a parent unit. From-SVN: r198288 --- gcc/ada/sem_case.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'gcc/ada/sem_case.adb') diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb index 6f066fe..515d2a6 100644 --- a/gcc/ada/sem_case.adb +++ b/gcc/ada/sem_case.adb @@ -1260,7 +1260,8 @@ package body Sem_Case is then Bad_Predicated_Subtype_Use ("cannot use subtype& with non-static " - & "predicate as case alternative", Choice, E); + & "predicate as case alternative", Choice, E, + Suggest_Static => True); -- Static predicate case -- cgit v1.1