From 35c69366a5775140eca7b98ee76d8c723ed8c2c8 Mon Sep 17 00:00:00 2001 From: Lars-Peter Clausen Date: Sat, 9 Apr 2022 07:49:39 +0200 Subject: [PATCH] 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 --- ivtest/ivltests/sv_package_implicit_var1.v | 6 ++++++ ivtest/ivltests/sv_package_implicit_var2.v | 6 ++++++ ivtest/regress-sv.list | 2 ++ 3 files changed, 14 insertions(+) create mode 100644 ivtest/ivltests/sv_package_implicit_var1.v create mode 100644 ivtest/ivltests/sv_package_implicit_var2.v diff --git a/ivtest/ivltests/sv_package_implicit_var1.v b/ivtest/ivltests/sv_package_implicit_var1.v new file mode 100644 index 000000000..6c04e2afe --- /dev/null +++ b/ivtest/ivltests/sv_package_implicit_var1.v @@ -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 diff --git a/ivtest/ivltests/sv_package_implicit_var2.v b/ivtest/ivltests/sv_package_implicit_var2.v new file mode 100644 index 000000000..72cf2e54f --- /dev/null +++ b/ivtest/ivltests/sv_package_implicit_var2.v @@ -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 diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list index 30d7b0241..82b1a64bf 100644 --- a/ivtest/regress-sv.list +++ b/ivtest/regress-sv.list @@ -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