diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-20 13:32:11 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-20 13:32:11 +0000 |
| commit | a04ef2f7c1ec761ca58672cff0e0ad976bffe565 (patch) | |
| tree | d59ec9a86635f4416e38feca4a87bc29293a8eb2 /gcc/ada/checks.ads | |
| parent | ddf182cec1e42edd803af323264f5bf21f72bbca (diff) | |
| download | gcc-a04ef2f7c1ec761ca58672cff0e0ad976bffe565.tar.gz | |
2009-04-20 Robert Dewar <dewar@adacore.com>
* checks.ads: Fix documentation of range check handling
2009-04-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Use_One_Type): Use proper entity on warning message for
a redundant use_type clause.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146422 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index e0cc54d0936..1acdab16d48 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -214,9 +214,11 @@ package Checks is -- Range checks are controlled by the Do_Range_Check flag. The front end -- is responsible for setting this flag in relevant nodes. Originally -- the back end generated all corresponding range checks. But later on - -- we decided to generate all range checks in the front end. We are now + -- we decided to generate many range checks in the front end. We are now -- in the transitional phase where some of these checks are still done - -- by the back end, but many are done by the front end. + -- by the back end, but many are done by the front end. It is possible + -- that in the future we might move all the checks to the front end. The + -- main remaining back end checks are for subscript checking. -- Overflow checks are similarly controlled by the Do_Overflow_Check flag. -- The difference here is that if back end overflow checks are inactive |