From 360a940c4c12ae16f40eeefdeb3081ad7ab948be Mon Sep 17 00:00:00 2001 From: umarcor Date: Fri, 6 Dec 2019 19:39:10 +0100 Subject: [PATCH] fix: add mode assertions to -93 sources --- vunit/vhdl/data_types/src/integer_vector_ptr_pkg-body-93.vhd | 5 +++++ vunit/vhdl/data_types/src/string_ptr_pkg-body-93.vhd | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/vunit/vhdl/data_types/src/integer_vector_ptr_pkg-body-93.vhd b/vunit/vhdl/data_types/src/integer_vector_ptr_pkg-body-93.vhd index 0f31ceca6..ac4538b17 100644 --- a/vunit/vhdl/data_types/src/integer_vector_ptr_pkg-body-93.vhd +++ b/vunit/vhdl/data_types/src/integer_vector_ptr_pkg-body-93.vhd @@ -79,6 +79,11 @@ package body integer_vector_ptr_pkg is value : val_t := 0 ) return ptr_t is begin reallocate_ids(st.idxs, st.idx); + if mode = internal then + assert eid = -1 report "mode internal: id/=-1 not supported" severity error; + else + assert eid /= -1 report "mode external: id must be natural" severity error; + end if; case mode is when internal => st.idxs(st.idx) := ( diff --git a/vunit/vhdl/data_types/src/string_ptr_pkg-body-93.vhd b/vunit/vhdl/data_types/src/string_ptr_pkg-body-93.vhd index f54c6c653..244238054 100644 --- a/vunit/vhdl/data_types/src/string_ptr_pkg-body-93.vhd +++ b/vunit/vhdl/data_types/src/string_ptr_pkg-body-93.vhd @@ -79,6 +79,11 @@ package body string_ptr_pkg is value : val_t := val_t'low ) return ptr_t is begin reallocate_ids(st.idxs, st.idx); + if mode = internal then + assert eid = -1 report "mode internal: id/=-1 not supported" severity error; + else + assert eid /= -1 report "mode external: id must be natural" severity error; + end if; case mode is when internal => st.idxs(st.idx) := (