diff options
| -rw-r--r-- | src/synth/synth-stmts.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb index a7ed70f71..e1d25384b 100644 --- a/src/synth/synth-stmts.adb +++ b/src/synth/synth-stmts.adb @@ -2157,6 +2157,10 @@ package body Synth.Stmts is begin if Cond /= Null_Node then Cond_Val := Synth_Expression (C.Inst, Cond); + if Cond_Val = No_Valtyp then + Set_Error (C.Inst); + return; + end if; pragma Assert (Is_Static_Val (Cond_Val.Val)); if Get_Static_Discrete (Cond_Val) = 0 then -- Not executed. |