vhdl: add missing check_read. Fix #1381

2 files changed, 4 insertions, 0 deletions

diff --git a/src/vhdl/vhdl-sem_expr.adb b/src/vhdl/vhdl-sem_expr.adb
index b7560904f..e9b2663a9 100644
--- a/src/vhdl/vhdl-sem_expr.adb
+++ b/src/vhdl/vhdl-sem_expr.adb
@@ -638,6 +638,9 @@ package body Vhdl.Sem_Expr is
          end if;
       end if;
 
+      Check_Read (Left);
+      Check_Read (Right);
+
       Left := Eval_Expr_If_Static (Left);
       Right := Eval_Expr_If_Static (Right);
 
diff --git a/src/vhdl/vhdl-sem_names.adb b/src/vhdl/vhdl-sem_names.adb
index 6e7d1e11d..107bb46cb 100644
--- a/src/vhdl/vhdl-sem_names.adb
+++ b/src/vhdl/vhdl-sem_names.adb
@@ -652,6 +652,7 @@ package body Vhdl.Sem_Names is
             Index := Sem_Expression (Index, Get_Base_Type (Index_Subtype));
          end if;
          if Index /= Null_Iir then
+            Check_Read (Index);
             if Get_Expr_Staticness (Index) = Locally
               and then Get_Type_Staticness (Index_Subtype) = Locally
             then