From 3ccedacc889a1eac92eed26a0006b9cc3eeda19b Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 4 Aug 2014 12:57:32 +0200 Subject: [multiple changes] 2014-08-04 Robert Dewar * sem_ch6.adb: Minor reformatting. 2014-08-04 Ed Schonberg * sem_prag.adb (Analyze_Pragma, case Assert and related pragmas): Before normalizing these pragmas into a pragma Check, preanalyze the optional Message argument, (which is subsequently copied) so that it has the proper semantic information for ASIS use. * sem_case.adb: Initialize flag earlier. * osint.adb, osint.ads (Find_File): Add parameter Full_Name, used when the full source path of a configuration file is requested. (Read_Source_File): Use Full_Name parameter.. From-SVN: r213571 --- gcc/ada/sem_case.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gcc/ada/sem_case.adb') diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb index 005bd95..201855b 100644 --- a/gcc/ada/sem_case.adb +++ b/gcc/ada/sem_case.adb @@ -735,6 +735,8 @@ package body Sem_Case is return; end if; + Predicate_Error := False; + -- Choice_Table must start at 0 which is an unused location used by the -- sorting algorithm. However the first valid position for a discrete -- choice is 1. @@ -762,8 +764,6 @@ package body Sem_Case is -- expression is static, independently of whether the aspect mentions -- Static explicitly. - Predicate_Error := False; - if Has_Predicate then Pred := First (Static_Discrete_Predicate (Bounds_Type)); Prev_Lo := Uint_Minus_1; -- cgit v1.1