From: Eric Botcazou <ebotcazou@adacore.com>
Date: Thu, 26 Oct 2023 08:43:38 +0000 (+0200)
Subject: ada: Small improvement to Null_Status function
X-Git-Tag: basepoints/gcc-15~4486
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=5ee80f712883981fde26976bb4f9e157e105944c;p=thirdparty%2Fgcc.git

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.
---

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