diff options
| -rw-r--r-- | src/vhdl/vhdl-sem_expr.adb | 3 | ||||
| -rw-r--r-- | src/vhdl/vhdl-sem_names.adb | 1 |
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 |