diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-05-03 23:26:11 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-19 04:17:28 -0400 |
| commit | 906a759dcbedb3e56d61824cb7981ea395ca1f07 (patch) | |
| tree | b4ffb4235e4ba6a019edf7c271a9f345ad065271 | |
| parent | 82bcb33bcf2e76c37188791a9c920541339e0ec9 (diff) | |
| download | gcc-906a759dcbedb3e56d61824cb7981ea395ca1f07.zip gcc-906a759dcbedb3e56d61824cb7981ea395ca1f07.tar.gz gcc-906a759dcbedb3e56d61824cb7981ea395ca1f07.tar.bz2 | |
[Ada] Further cleanup in constraint checking code for allocators
2020-06-19 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* exp_ch5.adb (Expand_N_Assignment_Statement): Do not apply
range checks to allocators here.
| -rw-r--r-- | gcc/ada/exp_ch5.adb | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb index db2ab18..a4916ef 100644 --- a/gcc/ada/exp_ch5.adb +++ b/gcc/ada/exp_ch5.adb @@ -2448,16 +2448,6 @@ package body Exp_Ch5 is Apply_Length_Check (Rhs, Etype (Lhs)); end if; end if; - - -- Apply range check for access type case - - elsif Is_Access_Type (Etype (Lhs)) - and then Nkind (Rhs) = N_Allocator - and then Nkind (Expression (Rhs)) = N_Qualified_Expression - then - Analyze_And_Resolve (Expression (Rhs)); - Apply_Range_Check - (Expression (Rhs), Designated_Type (Etype (Lhs))); end if; -- Ada 2005 (AI-231): Generate the run-time check |