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/exp_ch4.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/exp_ch4.adb')
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index be011f8..480151d 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -10053,6 +10053,19 @@ package body Exp_Ch4 is -- Start of processing for Expand_N_Type_Conversion begin + -- First remove check marks put by the semantic analysis on the type + -- conversion between array types. The front end expands these checks + -- explicitly, so they should not be set in the tree passed to the back + -- end. + + if Is_Array_Type (Target_Type) then + if Is_Constrained (Target_Type) then + Set_Do_Length_Check (N, False); + else + Set_Do_Range_Check (Operand, False); + end if; + end if; + -- Nothing at all to do if conversion is to the identical type so remove -- the conversion completely, it is useless, except that it may carry -- an Assignment_OK attribute, which must be propagated to the operand. |