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

Add a regression test with invalid struct member declarations 

The test checks that all invalid declarations produce an error and also do
not crash the application.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2022-01-15 18:00:40 +01:00
parent 5bfc8a42eb
commit 3e5f9fd044
7 changed files with 32 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ivtest/gold/struct_invalid_member.gold Normal file
View File

@ -0,0 +1,8 @@
./ivltests/struct_invalid_member.v:9: syntax error
./ivltests/struct_invalid_member.v:9: Error in struct/union member.
./ivltests/struct_invalid_member.v:10: syntax error
./ivltests/struct_invalid_member.v:10: Error in struct/union member.
./ivltests/struct_invalid_member.v:11: syntax error
./ivltests/struct_invalid_member.v:11: Error in struct/union member.
./ivltests/struct_invalid_member.v:12: syntax error
./ivltests/struct_invalid_member.v:12: Error in struct/union member.

15
ivtest/ivltests/struct_invalid_member.v Normal file
View File

@ -0,0 +1,15 @@
// Check that structs with invalid member declarations are deteceted, report an
// error and do not cause a crash
module test;
struct packed {
logic x; // OK
logic y, z; // OK
logic bit; // Invalid
logic a b c; // Invalid
logc d; // Invalid
e; // Invalid
} s;
endmodule

1
ivtest/regress-sv.list
View File

@ -379,6 +379,7 @@ struct_packed_array normal,-g2009 ivltests
struct_packed_array2 normal,-g2009 ivltests
struct_packed_sysfunct normal,-g2009 ivltests
struct_packed_write_read2 normal,-g2009 ivltests
struct_invalid_member CE,-g2009 ivltests gold=struct_invalid_member.gold
sv-constants normal,-g2005-sv ivltests
sv_array_assign_pattern2 normal,-g2009 ivltests
sv_cast_integer normal,-g2005-sv ivltests

3
ivtest/regression_report-devel.txt
View File

@ -2154,6 +2154,7 @@ test_mos_strength_reduction: Passed.
struct_packed_array2: Passed.
struct_packed_sysfunct: Passed.
struct_packed_write_read2: Passed.
struct_invalid_member: Passed - CE.
sv-constants: Passed.
sv_array_assign_pattern2: Passed.
sv_cast_integer: Passed.
@ -2561,4 +2562,4 @@ test_mos_strength_reduction: Passed.
ufuncsynth1: Passed.
============================================================================
Test results:
Total=2559, Passed=2553, Failed=3, Not Implemented=0, Expected Fail=3
Total=2560, Passed=2554, Failed=3, Not Implemented=0, Expected Fail=3

3
ivtest/regression_report-fsv.txt
View File

@ -2161,6 +2161,7 @@ test_mos_strength_reduction: Passed.
struct_packed_array2: Passed.
struct_packed_sysfunct: Passed.
struct_packed_write_read2: Passed.
struct_invalid_member: Passed - CE.
sv-constants: Passed.
sv_array_assign_pattern2: Passed.
sv_cast_integer: Passed.
@ -2561,4 +2562,4 @@ test_mos_strength_reduction: Passed.
ufuncsynth1: Passed.
============================================================================
Test results:
Total=2559, Passed=2539, Failed=17, Not Implemented=3, Expected Fail=0
Total=2560, Passed=2540, Failed=17, Not Implemented=3, Expected Fail=0

3
ivtest/regression_report-strict.txt
View File

@ -2150,6 +2150,7 @@ test_mos_strength_reduction: Passed.
struct_packed_array2: Passed.
struct_packed_sysfunct: Passed.
struct_packed_write_read2: Passed.
struct_invalid_member: Passed - CE.
sv-constants: Passed.
sv_array_assign_pattern2: Passed.
sv_cast_integer: Passed.
@ -2558,4 +2559,4 @@ test_mos_strength_reduction: Passed.
ufuncsynth1: Passed.
============================================================================
Test results:
Total=2556, Passed=2550, Failed=3, Not Implemented=0, Expected Fail=3
Total=2557, Passed=2551, Failed=3, Not Implemented=0, Expected Fail=3

3
ivtest/regression_report-vlog95.txt
View File

@ -2370,6 +2370,7 @@ test_mos_strength_reduction: Passed.
struct9: Passed.
struct_packed_sysfunct: Passed.
struct_packed_write_read2: Passed.
struct_invalid_member: Passed - CE.
sv-constants: Passed.
sv_default_port_value1: Passed.
sv_default_port_value2: Passed.
@ -2561,4 +2562,4 @@ test_mos_strength_reduction: Passed.
synth_if_no_else: Passed.
============================================================================
Test results:
Total=2559, Passed=2520, Failed=2, Not Implemented=3, Expected Fail=34
Total=2560, Passed=2521, Failed=2, Not Implemented=3, Expected Fail=34