diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-08 14:54:32 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-08 14:54:32 +0000 |
| commit | d70ba424573058e6bcba5d31131ae0083e413269 (patch) | |
| tree | 1c12ec670540ac16c3dca88dd113ff65931217ec /gcc/ada/checks.ads | |
| parent | 750a493116821255aec5c3ead5c4f3746651d538 (diff) | |
| download | gcc-d70ba424573058e6bcba5d31131ae0083e413269.tar.gz | |
2009-04-08 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Is_Protected_Self_Reference): Add guard to check for
presence of entity.
* usage.adb, gnat_ugn.texi: add info on -gnatyO: overriding indicators
2009-04-08 Vincent Celier <celier@adacore.com>
* vms_data.ads: Add VMS equivalent for -gnatyO (OVERRIDING_INDICATORS)
2009-04-08 Thomas Quinot <quinot@adacore.com>
* checks.ads: Minor reformatting
2009-04-08 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Update documentation of pragma Obsolescent
* sem_prag.adb (Analyze_Pragma, case Obsolescent): Allow identifiers to
be omitted, and allow Entity parameter to be omitted.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145745 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index 1b88dc10201..07ac2722549 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -32,7 +32,7 @@ -- checks, is to attempt to detect at compilation time that a constraint -- error will occur. If this is detected a warning or error is issued and the -- offending expression or statement replaced with a constraint error node. --- This always occurs whether checks are suppressed or not. Dynamic range +-- This always occurs whether checks are suppressed or not. Dynamic range -- checks are, of course, not inserted if checks are suppressed. with Namet; use Namet; @@ -233,9 +233,9 @@ package Checks is -- First this routine determines if an overflow check is needed by doing -- an appropriate range check. If a check is not needed, then the call -- has no effect. If a check is needed then this routine sets the flag - -- Set Do_Overflow_Check in node N to True, unless it can be determined - -- that the check is not needed. The only condition under which this is - -- the case is if there was an identical check earlier on. + -- Do_Overflow_Check in node N to True, unless it can be determined that + -- the check is not needed. The only condition under which this is the + -- case is if there was an identical check earlier on. procedure Enable_Range_Check (N : Node_Id); -- Set Do_Range_Check flag in node N True, unless it can be determined @@ -445,7 +445,7 @@ package Checks is -- Some of the earlier processing for checks results in temporarily setting -- the Do_Range_Check flag rather than actually generating checks. Now we -- are moving the generation of such checks into the front end for reasons - -- of efficiency and simplicity (there were difficutlies in handling this + -- of efficiency and simplicity (there were difficulties in handling this -- in the back end when side effects were present in the expressions being -- checked). |