diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 09:56:02 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 09:56:02 +0200 |
| commit | b6621d10eb36c29e6965678b7d53aa39eb302c9e (patch) | |
| tree | efe344255a63d56e3dba5fcc3694838761f249e0 /gcc/ada/restrict.adb | |
| parent | f5655e4a9433c8a865b36eb098fb2315d7621855 (diff) | |
| download | gcc-b6621d10eb36c29e6965678b7d53aa39eb302c9e.zip gcc-b6621d10eb36c29e6965678b7d53aa39eb302c9e.tar.gz gcc-b6621d10eb36c29e6965678b7d53aa39eb302c9e.tar.bz2 | |
[multiple changes]
2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch8.adb (Build_Class_Wide_Wrapper): Handle various special
cases related to equality. Remove the special processing
for dispatching abstract subprograms as it is not needed.
(Interpretation_Error): Add a specialized error message for
predefined operators.
(Is_Intrinsic_Equality): New routine.
(Is_Suitable_Candidate): New routine.
2014-08-04 Gary Dismukes <dismukes@adacore.com>
* checks.adb: Minor comment reformatting.
2014-08-04 Ed Schonberg <schonberg@adacore.com>
* restrict.adb (Check_Restriction): For checked max_parameter
restrictions reset Violated flag, so that subsequent violations
are properly detected.
2014-08-04 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb (Check_Initialization): Fix bad test of GNATprove
mode.
(Process_Discriminants): Fix bad test of GNATprove mode
2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch12.adb (Instantiate_Formal_Subprogram):
Move variable to their own section. Propagate the source
location of a formal parameter to the corresponding formal of
the subprogram renaming declaration. Code reformatting.
From-SVN: r213533
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index ff44e6f..9b8e2c6 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -562,6 +562,7 @@ package body Restrict is if R in Checked_Max_Parameter_Restrictions then Restrictions.Count (R) := 0; + Restrictions.Violated (R) := False; end if; end Check_Restriction; |