diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:22:51 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:22:51 +0200 |
| commit | 28e18b4f5612d2578757dd65ccee6800324a59e9 (patch) | |
| tree | 8006f8e6dbe07e484a93bb2032c5e79c545713e3 /gcc/ada/sem_ch13.adb | |
| parent | f8c79ade9e03c5278cb4858d6e46695683e1c1ff (diff) | |
| download | gcc-28e18b4f5612d2578757dd65ccee6800324a59e9.zip gcc-28e18b4f5612d2578757dd65ccee6800324a59e9.tar.gz gcc-28e18b4f5612d2578757dd65ccee6800324a59e9.tar.bz2 | |
[multiple changes]
2014-07-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Complete_Object_Operation): If the type of the
candidate subprogram is a limited view, use non-limited view
when available.
2014-07-29 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb: Minor change in RM reference.
* sem_mech.ads: Minor reformatting.
* einfo.ads: Minor comment fix.
* types.ads: Minor correction to range given for Mechanism_Type.
* exp_ch6.adb (Add_Invariant_And_Predicate_Checks): Do not
check predicate on way out for OUT or IN OUT parameters.
* par-ch3.adb (P_Constraint_Opt): Handle missing RANGE keyword
better (P_Range_Constraint): Corresponding fix.
* checks.ads: Minor comment clarification.
2014-07-29 Gary Dismukes <dismukes@adacore.com>
* sem_ch8.adb (Analyze_Object_Renaming): Set the Is_Volatile
and Treat_As_Volatile flags based on whether the renamed object
is a volatile object.
From-SVN: r213170
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index f6a4be1..35f4f8a 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -8097,7 +8097,7 @@ package body Sem_Ch13 is if Has_Static_Predicate_Aspect (Typ) then if Is_Scalar_Type (Typ) or else Is_String_Type (Typ) then Error_Msg_F - ("expression is not predicate-static (RM 4.3.2(16-22))", + ("expression is not predicate-static (RM 3.2.4(16-22))", EN); else Error_Msg_F |