From 5a796e95978dd35120de0deab79b11f975c831f5 Mon Sep 17 00:00:00 2001
From: gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7>
Date: Mon, 26 Sep 2005 05:32:57 +0000
Subject: check_range: do not compare ATYPE with EXPR type if EXPR is null_iir

---
 translate/translation.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'translate')

diff --git a/translate/translation.adb b/translate/translation.adb
index 786a9b299..8f3c66172 100644
--- a/translate/translation.adb
+++ b/translate/translation.adb
@@ -8359,7 +8359,7 @@ package body Translation is
          If_Blk : O_If_Block;
       begin
          if not Need_Range_Check (Atype)
-           or else Get_Type (Expr) = Atype
+           or else (Expr /= Null_Iir and then Get_Type (Expr) = Atype)
          then
             return;
          end if;
-- 
cgit v1.2.3