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/checks.ads | |
| 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/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index 7244e3c..07fdc5d 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -245,8 +245,7 @@ package Checks is procedure Apply_Predicate_Check (N : Node_Id; Typ : Entity_Id); -- N is an expression to which a predicate check may need to be applied - -- for Typ, if Typ has a predicate function. The check is applied only - -- if the type of N does not match Typ. + -- for Typ, if Typ has a predicate function. procedure Apply_Type_Conversion_Checks (N : Node_Id); -- N is an N_Type_Conversion node. A type conversion actually involves |