synth: improve support of return statement.

1 files changed, 7 insertions, 4 deletions

diff --git a/src/synth/synth-stmts.ads b/src/synth/synth-stmts.ads
index af83524b6..a60efab72 100644
--- a/src/synth/synth-stmts.ads
+++ b/src/synth/synth-stmts.ads
@@ -20,6 +20,9 @@
 
 with Types; use Types;
 with Vhdl.Nodes; use Vhdl.Nodes;
+
+with Netlists; use Netlists;
+
 with Synth.Values; use Synth.Values;
 with Synth.Context; use Synth.Context;
 with Synth.Environment; use Synth.Environment;
@@ -68,16 +71,16 @@ private
 
       W_En : Wire_Id;
 
-      --  If set, condition of the next statement.
-      W_Next : Wire_Id;
-      --  If set, condition of the exit statement.
-      W_Exit : Wire_Id;
       --  If set, condition of the return statement.
       W_Ret : Wire_Id;
 
       --  Return value.
       W_Val : Wire_Id;
 
+      Ret_Init : Net;
+
       Ret_Value : Value_Acc;
+      Ret_Typ : Type_Acc;
+      Nbr_Ret : Int32;
    end record;
 end Synth.Stmts;