From 906a759dcbedb3e56d61824cb7981ea395ca1f07 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Sun, 3 May 2020 23:26:11 +0200 Subject: [PATCH] [Ada] Further cleanup in constraint checking code for allocators 2020-06-19 Eric Botcazou gcc/ada/ * exp_ch5.adb (Expand_N_Assignment_Statement): Do not apply range checks to allocators here. --- gcc/ada/exp_ch5.adb | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb index db2ab18afb4..a4916ef4af2 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 -- 2.30.2