diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-11 14:38:20 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-11 14:38:20 +0200 |
| commit | 83851b239b0dd1af4fe3ba4c8d0ce7b74c82803d (patch) | |
| tree | 2006f8c14d7772427d0df93a4483c5b7fa2bd8db /gcc/ada/checks.adb | |
| parent | e6425869abeaf52c2c23e924140baa6c28dc9118 (diff) | |
| download | gcc-83851b239b0dd1af4fe3ba4c8d0ce7b74c82803d.zip gcc-83851b239b0dd1af4fe3ba4c8d0ce7b74c82803d.tar.gz gcc-83851b239b0dd1af4fe3ba4c8d0ce7b74c82803d.tar.bz2 | |
[multiple changes]
2013-04-11 Thomas Quinot <quinot@adacore.com>
* sem_util.adb (Set_Entity_With_Style_Check): Fix logic of
check for implementation defined identifiers.
2013-04-11 Yannick Moy <moy@adacore.com>
* checks.adb (Apply_Type_Conversion_Checks): Add an explanation
of why range check and length are put on different nodes.
* exp_ch4.adb (Apply_Type_Conversion_Checks): Remove check marks
when doing their expansion.
From-SVN: r197776
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 05a0c6f..640f012 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -3248,7 +3248,9 @@ package body Checks is -- expansion, to take into accounts changes of representation. The -- checks become range checks on the base type or length checks on the -- subtype, depending on whether the target type is unconstrained or - -- constrained. + -- constrained. Note that the range check is put on the expression of a + -- type conversion, while the length check is put on the type conversion + -- itself. elsif Is_Array_Type (Target_Type) then if Is_Constrained (Target_Type) then |