diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-05-03 23:26:11 +0200 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:14:12 -0300 |
| commit | f18fc3cb0e640005f4d2529d8b307874bd751f69 (patch) | |
| tree | 7c2041f0dcdf73ac9dcd2736cd070d67d565ee0b /gcc | |
| parent | 5a6d4934a6550aa75fb4dcd59352c63f5edbbc8f (diff) | |
| download | gcc-f18fc3cb0e640005f4d2529d8b307874bd751f69.zip gcc-f18fc3cb0e640005f4d2529d8b307874bd751f69.tar.gz gcc-f18fc3cb0e640005f4d2529d8b307874bd751f69.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.
Diffstat (limited to 'gcc')
| -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 |