From 9e7bfe81b0d48939d85b74d7c03eb7e9bd06274d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 15 Jul 2019 04:05:58 +0200
Subject: synth: save and restore instance_pool for processes.

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

(limited to 'src/synth')

diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb
index f5426f178..bbbc2fa84 100644
--- a/src/synth/synth-stmts.adb
+++ b/src/synth/synth-stmts.adb
@@ -1021,6 +1021,7 @@ package body Synth.Stmts is
       use Areapools;
       Info : constant Sim_Info_Acc := Get_Info (Proc);
       Decls_Chain : constant Node := Get_Declaration_Chain (Proc);
+      Prev_Instance_Pool : constant Areapool_Acc := Instance_Pool;
       Proc_Inst : Synth_Instance_Acc;
       M : Areapools.Mark_Type;
    begin
@@ -1044,7 +1045,7 @@ package body Synth.Stmts is
 
       Free_Instance (Proc_Inst);
       Release (M, Proc_Pool);
-      Instance_Pool := null;
+      Instance_Pool := Prev_Instance_Pool;
    end Synth_Process_Statement;
 
    procedure Synth_Generate_Statement_Body
@@ -1053,6 +1054,7 @@ package body Synth.Stmts is
       use Areapools;
       Info : constant Sim_Info_Acc := Get_Info (Bod);
       Decls_Chain : constant Node := Get_Declaration_Chain (Bod);
+      Prev_Instance_Pool : constant Areapool_Acc := Instance_Pool;
       Bod_Inst : Synth_Instance_Acc;
       M : Areapools.Mark_Type;
    begin
@@ -1070,7 +1072,7 @@ package body Synth.Stmts is
 
       Free_Instance (Bod_Inst);
       Release (M, Proc_Pool);
-      Instance_Pool := null;
+      Instance_Pool := Prev_Instance_Pool;
    end Synth_Generate_Statement_Body;
 
    procedure Synth_Concurrent_Assertion_Statement
-- 
cgit v1.2.3