From 30d1158bba72f3dc39b7ad669258869f8eef3b65 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 28 Sep 2022 06:31:27 +0200
Subject: synth: handle names in record aggregate targets

---
 src/synth/synth-vhdl_stmts.adb | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src')

diff --git a/src/synth/synth-vhdl_stmts.adb b/src/synth/synth-vhdl_stmts.adb
index 5694a71fc..d6ee49bab 100644
--- a/src/synth/synth-vhdl_stmts.adb
+++ b/src/synth/synth-vhdl_stmts.adb
@@ -561,6 +561,14 @@ package body Synth.Vhdl_Stmts is
                                                           Assoc_Expr),
                                 Loc);
                         El_Idx := El_Idx + 1;
+                     when Iir_Kind_Choice_By_Name =>
+                        El_Idx := Get_Element_Position
+                          (Get_Named_Entity (Get_Choice_Name (Choice))) + 1;
+                        Assign (Inst, Targ_Info,
+                                Aggregate_Record_Extract (Ctxt, Val, El_Idx,
+                                                          Targ_Info.Targ_Type,
+                                                          Assoc_Expr),
+                                Loc);
                      when others =>
                         Error_Kind ("assign_aggregate(rec)", Choice);
                   end case;
@@ -666,6 +674,10 @@ package body Synth.Vhdl_Stmts is
 
       case Target.Kind is
          when Target_Aggregate =>
+            if V.Val.Kind = Value_Memory then
+               --  Copy value in case of overlap.
+               V := Unshare (V, Expr_Pool'Access);
+            end if;
             Synth_Assignment_Aggregate
               (Syn_Inst, Target.Aggr, Target.Targ_Type, V, Loc);
          when Target_Simple =>
-- 
cgit v1.2.3