diff options
Diffstat (limited to 'testsuite/gna/issue1387/repro3.vhdl')
-rw-r--r-- | testsuite/gna/issue1387/repro3.vhdl | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/testsuite/gna/issue1387/repro3.vhdl b/testsuite/gna/issue1387/repro3.vhdl new file mode 100644 index 000000000..8e2dd1ebd --- /dev/null +++ b/testsuite/gna/issue1387/repro3.vhdl @@ -0,0 +1,25 @@ +package support_pkg3 is + function ">" ( l,r : integer ) return bit; +end; + +package body support_pkg3 is + function ">" ( l,r : integer ) return bit is + begin + if boolean'(l > r) then + return '1'; + else + return '0'; + end if; + end ">"; +end; + +use work.support_pkg3.all; + +entity repro3 is +end; + +architecture behav of repro3 is + signal sov : bit_vector(0 to 21); +begin + assert (sov'length > 1); +end; |