From db631c6a1110ce29fcb3e97e116b320578322662 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 13 Nov 2019 18:56:20 +0100
Subject: synth: do not consider impure procedure as static.

---
 src/synth/synth-stmts.adb | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src')

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
-- 
cgit v1.2.3