diff options
| -rw-r--r-- | src/synth/synth-stmts.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb index a0fd6d713..5cf3e0e67 100644 --- a/src/synth/synth-stmts.adb +++ b/src/synth/synth-stmts.adb @@ -1500,6 +1500,12 @@ package body Synth.Stmts is Synth_Subprogram_Association (C.Inst, Syn_Inst, Inter_Chain, Assoc_Chain, Infos); + if not Is_Func then + if Get_Purity_State (Imp) /= Pure then + Set_Instance_Const (C.Inst, False); + end if; + end if; + Push_Phi; if Is_Func then |