diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-08-26 18:18:17 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-08-26 22:39:02 +0200 |
| commit | d7f0f4d54961c65fbf5b98eb97d125c23de534f6 (patch) | |
| tree | b3dc6a3d2896c10855a86566cf2673e4e2a0adda /src/synth/synth-environment.ads | |
| parent | 11b90ee7beec457e4ee905837beb1041fee6c375 (diff) | |
| download | ghdl-d7f0f4d54961c65fbf5b98eb97d125c23de534f6.tar.gz ghdl-d7f0f4d54961c65fbf5b98eb97d125c23de534f6.tar.bz2 ghdl-d7f0f4d54961c65fbf5b98eb97d125c23de534f6.zip | |
synth: improve diagnostic for multiple assignment. Fix #1428
Diffstat (limited to 'src/synth/synth-environment.ads')
| -rw-r--r-- | src/synth/synth-environment.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/synth/synth-environment.ads b/src/synth/synth-environment.ads index 37ab29414..9205512a3 100644 --- a/src/synth/synth-environment.ads +++ b/src/synth/synth-environment.ads @@ -68,7 +68,8 @@ package Synth.Environment is ); -- Create a wire. - function Alloc_Wire (Kind : Wire_Kind; Obj : Source.Syn_Src) return Wire_Id; + function Alloc_Wire (Kind : Wire_Kind; Typ : Type_Acc; Obj : Source.Syn_Src) + return Wire_Id; -- Mark the wire as free. procedure Free_Wire (Wid : Wire_Id); @@ -280,6 +281,9 @@ private -- Source node that created the wire. Decl : Source.Syn_Src; + -- Type of the net. Only for diagnostic purposes. + Typ : Type_Acc; + -- The initial net for the wire. -- This is a pseudo gate that is needed because the value of the wire -- can be read before anything was assigned to it. |