diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-11-06 04:48:35 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-11-06 04:48:35 +0100 |
| commit | 5df1302fbed651ff0a9f7014f4ca8e23546237cd (patch) | |
| tree | 23f90aa6ab9c09c8526efac803b22e00c8e264d7 /src/synth/synth-values.adb | |
| parent | c6edf7060590f9207bd82a649f2712d5ac50e427 (diff) | |
| download | ghdl-5df1302fbed651ff0a9f7014f4ca8e23546237cd.tar.gz ghdl-5df1302fbed651ff0a9f7014f4ca8e23546237cd.tar.bz2 ghdl-5df1302fbed651ff0a9f7014f4ca8e23546237cd.zip | |
synth: do not create a value_const of a value_const.
Diffstat (limited to 'src/synth/synth-values.adb')
| -rw-r--r-- | src/synth/synth-values.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb index 8a9cbaa5b..58fc892ac 100644 --- a/src/synth/synth-values.adb +++ b/src/synth/synth-values.adb @@ -580,6 +580,7 @@ package body Synth.Values is subtype Value_Type_Const is Value_Type (Value_Const); function Alloc is new Areapools.Alloc_On_Pool_Addr (Value_Type_Const); begin + pragma Assert (Val = null or else Val.Kind /= Value_Const); return To_Value_Acc (Alloc (Current_Pool, (Kind => Value_Const, C_Val => Val, |