luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add regression tests for implicit variable declarations in packages 

Check that it is not possible to declare a variable in a package without an
explicit data type for the variable.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2022-04-09 07:49:39 +02:00
parent 8f6a9c5d3c
commit 35c69366a5
3 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
ivtest/ivltests/sv_package_implicit_var1.v Normal file
View File

@ -0,0 +1,6 @@
// Check that it is not possible to declare a variable in a package without an explicit data
// type for the variable.
pacakge P;
x; // This is a syntax error
endpackage

6
ivtest/ivltests/sv_package_implicit_var2.v Normal file
View File

@ -0,0 +1,6 @@
// Check that it is not possible to declare a variable in a package without an explicit data
// type for the variable.
pacakge P;
[3:0] x; // This is a syntax error
endpackage

2
ivtest/regress-sv.list
View File

@ -529,6 +529,8 @@ sv_package2 normal,-g2009 ivltests
sv_package3 normal,-g2009 ivltests
sv_package4 normal,-g2009 ivltests
sv_package5 normal,-g2009 ivltests
sv_package_implicit_var1 CE,-g2009 ivltests
sv_package_implicit_var2 CE,-g2009 ivltests
sv_packed_port1 normal,-g2009 ivltests
sv_packed_port2 normal,-g2009 ivltests
sv_param_port_list normal,-g2009 ivltests