diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-12-11 18:41:42 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-12-11 18:41:42 +0100 |
commit | ce3659abec1037f8dc4ad62eecdaba08884ce348 (patch) | |
tree | 3189774f85512fcb16523ef890b466b77ab33a88 /src/vhdl/simulate/simul-execution.ads | |
parent | 1451879337efac06519bbcb080729172d03d4a58 (diff) | |
download | ghdl-ce3659abec1037f8dc4ad62eecdaba08884ce348.tar.gz ghdl-ce3659abec1037f8dc4ad62eecdaba08884ce348.tar.bz2 ghdl-ce3659abec1037f8dc4ad62eecdaba08884ce348.zip |
simul: Check range of the result of concat operator.
Diffstat (limited to 'src/vhdl/simulate/simul-execution.ads')
-rw-r--r-- | src/vhdl/simulate/simul-execution.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/vhdl/simulate/simul-execution.ads b/src/vhdl/simulate/simul-execution.ads index 66748b52a..566fa26db 100644 --- a/src/vhdl/simulate/simul-execution.ads +++ b/src/vhdl/simulate/simul-execution.ads @@ -139,6 +139,13 @@ package Simul.Execution is (Instance: Block_Instance_Acc; Scope: Sim_Info_Acc) return Block_Instance_Acc; + -- Check that bounds of RNG belong to RNG_TYPE (unless this is a null + -- range). + procedure Check_Range_Constraints (Instance : Block_Instance_Acc; + Rng : Iir_Value_Literal_Acc; + Rng_Type : Iir; + Loc : Iir); + -- Check VALUE follows the constraints of DEF. -- INSTANCE,DEF is the definition of a subtype. -- EXPR is just used in case of error to display the location |