From 5ee80f712883981fde26976bb4f9e157e105944c Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Thu, 26 Oct 2023 10:43:38 +0200 Subject: [PATCH] ada: Small improvement to Null_Status function The function is used to optimize away access checks. gcc/ada/ * sem_util.adb (Null_Status): Deal with unchecked type conversions. --- gcc/ada/sem_util.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 3d870b1049c5..eb2d83a4d6d3 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -25429,7 +25429,7 @@ package body Sem_Util is -- Check the status of the operand of a type conversion - elsif Nkind (N) = N_Type_Conversion then + elsif Nkind (N) in N_Type_Conversion | N_Unchecked_Type_Conversion then return Null_Status (Expression (N)); -- The input denotes a reference to an entity. Determine whether the -- 2.47.2