diff options
| author | Tristan Gingold | 2014-01-22 03:41:41 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2014-01-22 03:41:41 +0100 |
| commit | 0c99e40a08a7b1517ece3b23601f1d9ea24813e5 (patch) | |
| tree | 72c0326218b65f071c126b2361319772cc466a07 | |
| parent | dc7353c95fcd28574dd995cb45144e764c44b924 (diff) | |
| download | ghdl-0c99e40a08a7b1517ece3b23601f1d9ea24813e5.tar.gz ghdl-0c99e40a08a7b1517ece3b23601f1d9ea24813e5.tar.bz2 ghdl-0c99e40a08a7b1517ece3b23601f1d9ea24813e5.zip | |
Fix ticket 8: ch_13_fg_13_26.vhd failure with ghdl_gcc.
(Set location of configuration specification on default binding).
| -rw-r--r-- | canon.adb | 27 | ||||
| -rw-r--r-- | sem_specs.adb | 4 |
2 files changed, 25 insertions, 6 deletions
@@ -1698,8 +1698,14 @@ package body Canon is end if; end Add_Binding_Indication_Dependence; + -- Canon the component_configuration or configuration_specification CFG. procedure Canon_Component_Configuration (Top : Iir_Design_Unit; Cfg : Iir) is + -- True iff CFG is a component_configuration. + -- False iff CFG is a configuration_specification. + Is_Config : constant Boolean := + Get_Kind (Cfg) = Iir_Kind_Component_Configuration; + Bind : Iir; Instances : Iir_List; Entity_Aspect : Iir; @@ -1738,7 +1744,9 @@ package body Canon is Entity := Get_Entity_From_Entity_Aspect (Entity_Aspect); Map_Chain := Get_Generic_Map_Aspect_Chain (Bind); if Map_Chain = Null_Iir then - Map_Chain := Get_Default_Generic_Map_Aspect_Chain (Bind); + if Is_Config then + Map_Chain := Get_Default_Generic_Map_Aspect_Chain (Bind); + end if; else Map_Chain := Canon_Association_Chain (Get_Generic_Chain (Entity), Map_Chain, Map_Chain); @@ -1747,7 +1755,9 @@ package body Canon is Map_Chain := Get_Port_Map_Aspect_Chain (Bind); if Map_Chain = Null_Iir then - Map_Chain := Get_Default_Port_Map_Aspect_Chain (Bind); + if Is_Config then + Map_Chain := Get_Default_Port_Map_Aspect_Chain (Bind); + end if; else Map_Chain := Canon_Association_Chain (Get_Port_Chain (Entity), Map_Chain, Map_Chain); @@ -1873,6 +1883,7 @@ package body Canon is Res : Iir_Component_Configuration; Cs_Binding : Iir_Binding_Indication; Cc_Binding : Iir_Binding_Indication; + Cs_Chain : Iir; Res_Binding : Iir_Binding_Indication; Entity : Iir; Instance_List : Iir_List; @@ -1911,17 +1922,25 @@ package body Canon is Entity := Get_Entity_From_Entity_Aspect (Get_Entity_Aspect (Cs_Binding)); -- Merge generic map aspect. + Cs_Chain := Get_Generic_Map_Aspect_Chain (Cs_Binding); + if Cs_Chain = Null_Iir then + Cs_Chain := Get_Default_Generic_Map_Aspect_Chain (Cs_Binding); + end if; Set_Generic_Map_Aspect_Chain (Res_Binding, Merge_Association_Chain (Get_Generic_Chain (Entity), - Get_Generic_Map_Aspect_Chain (Cs_Binding), + Cs_Chain, Get_Generic_Map_Aspect_Chain (Cc_Binding))); -- merge port map aspect + Cs_Chain := Get_Port_Map_Aspect_Chain (Cs_Binding); + if Cs_Chain = Null_Iir then + Cs_Chain := Get_Default_Port_Map_Aspect_Chain (Cs_Binding); + end if; Set_Port_Map_Aspect_Chain (Res_Binding, Merge_Association_Chain (Get_Port_Chain (Entity), - Get_Port_Map_Aspect_Chain (Cs_Binding), + Cs_Chain, Get_Port_Map_Aspect_Chain (Cc_Binding))); -- set entity aspect diff --git a/sem_specs.adb b/sem_specs.adb index 047cf95..6459961 100644 --- a/sem_specs.adb +++ b/sem_specs.adb @@ -1472,7 +1472,7 @@ package body Sem_Specs is Comp_El := Find_Name_In_Chain (Comp_Chain, Get_Identifier (Ent_El)); if Comp_El = Null_Iir then Assoc := Create_Iir (Iir_Kind_Association_Element_Open); - Location_Copy (Assoc, Comp); + Location_Copy (Assoc, Parent); else if not Are_Nodes_Compatible (Comp_El, Ent_El) then Error_Msg_Sem @@ -1490,7 +1490,7 @@ package body Sem_Specs is Error := True; end if; Assoc := Create_Iir (Iir_Kind_Association_Element_By_Expression); - Location_Copy (Assoc, Comp_El); + Location_Copy (Assoc, Parent); Set_Whole_Association_Flag (Assoc, True); Set_Actual (Assoc, Comp_El); Found := Found + 1; |