aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-environment.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-05-03 08:31:25 +0200
committerTristan Gingold <tgingold@free.fr>2020-05-04 19:04:07 +0200
commitdbbd98a06f7802cc309e2884f7dfabf71942c115 (patch)
treee044a101ea3939d0f8e512f2a4e87f4fa66a90bf /src/synth/synth-environment.ads
parent012cd7bb501aea20b41fc63516e67256dc62fd5c (diff)
downloadghdl-dbbd98a06f7802cc309e2884f7dfabf71942c115.tar.gz
ghdl-dbbd98a06f7802cc309e2884f7dfabf71942c115.tar.bz2
ghdl-dbbd98a06f7802cc309e2884f7dfabf71942c115.zip
synth: use tri_state_type for seq_assign_value.
Diffstat (limited to 'src/synth/synth-environment.ads')
-rw-r--r--src/synth/synth-environment.ads11
1 files changed, 8 insertions, 3 deletions
diff --git a/src/synth/synth-environment.ads b/src/synth/synth-environment.ads
index a2f209302..f6d936083 100644
--- a/src/synth/synth-environment.ads
+++ b/src/synth/synth-environment.ads
@@ -271,8 +271,14 @@ private
Nbr_Final_Assign : Natural;
end record;
- type Seq_Assign_Value (Is_Static : Boolean := True) is record
+ type Seq_Assign_Value (Is_Static : Tri_State_Type := True) is record
case Is_Static is
+ when Unknown =>
+ -- Used only for no value (in that case, it will use the previous
+ -- value).
+ -- This is used only for temporary handling, and is never stored
+ -- in Seq_Assign.
+ null;
when True =>
Val : Memtyp;
when False =>
@@ -281,8 +287,7 @@ private
end case;
end record;
- No_Seq_Assign_Value : constant Seq_Assign_Value :=
- (Is_Static => False, Asgns => No_Partial_Assign);
+ No_Seq_Assign_Value : constant Seq_Assign_Value := (Is_Static => Unknown);
type Seq_Assign_Record is record
-- Target of the assignment.