diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-17 09:57:27 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-17 09:57:27 +0000 |
| commit | 8c7d3bad84e19bbd9f21e63038cccefe4e84dbdc (patch) | |
| tree | 56bb55c5ed960e6123da600a44f94e66b80ba0ea /gcc/ada/checks.ads | |
| parent | f60cc57dd8b8f3fdb555b23fcc2b5aeba03e5c01 (diff) | |
| download | gcc-8c7d3bad84e19bbd9f21e63038cccefe4e84dbdc.tar.gz | |
2009-04-17 Thomas Quinot <quinot@adacore.com>
* exp_ch7.adb: Minor reformatting
2009-04-17 Robert Dewar <dewar@adacore.com>
* restrict.adb (Check_Restriction_No_Dependence): Don't check
restriction if outside main extended source unit.
* sem_ch10.adb (Analyze_With_Clause): Check No_Dependence restriction
for parents of child units as well as the child unit itself.
2009-04-17 Bob Duff <duff@adacore.com>
* checks.ads: Minor comment fix
* exp_aggr.ads: Minor comment fix
2009-04-17 Nicolas Roche <roche@adacore.com>
* adaint.c: Improve cross compiler detection and handling.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146236 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index 07ac2722549..e0cc54d0936 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -135,9 +135,9 @@ package Checks is Typ : Entity_Id; No_Sliding : Boolean := False); -- Top-level procedure, calls all the others depending on the class of Typ. - -- Checks that expression N verifies the constraint of type Typ. No_Sliding - -- is only relevant for constrained array types, if set to True, it - -- checks that indexes are in range. + -- Checks that expression N satisfies the constraint of type Typ. + -- No_Sliding is only relevant for constrained array types, if set to True, + -- it checks that indexes are in range. procedure Apply_Discriminant_Check (N : Node_Id; |