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

Tests: Add include warnings to t_dist_warn_coverage

This commit is contained in:
Wilson Snyder 2026-01-10 04:08:08 -05:00
parent 338afff23c
commit bc5b120156
2 changed files with 47 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/V3EmitCModel.cpp
View File

@ -544,7 +544,7 @@ class EmitCModel final : public EmitCFunc {
puts(EmitCUtil::voidSelfAssign(modp));
puts(EmitCUtil::symClassAssign());
puts("if (!vlSymsp->_vm_contextp__->calcUnusedSigs()) {\n");
puts("VL_FATAL_MT(__FILE__, __LINE__, __FILE__,\n");
puts("VL_FATAL_MT(__FILE__, __LINE__, __FILE__,\n"); // LCOV_EXCL_LINE
puts("\"Turning on wave traces requires Verilated::traceEverOn(true) call before time "
"0.\");\n");
puts("}\n");

48
test_regress/t/t_dist_warn_coverage.py
View File

@ -32,9 +32,51 @@ for s in [
'--pipe-filter returned bad status',
'--pipe-filter: stdin/stdout closed before pipe opened',
'--pipe-filter: write to closed file',
'Array initialization has too few elements, need element',
'Assigning >32 bit to unranged parameter (defaults to 32 bits)',
'Assignment pattern with no members',
'%%Warning: DPI C Function called by Verilog DPI import with missing',
'%%Warning: DPI svOpenArrayHandle function called on',
'%%Warning: DPI svOpenArrayHandle function index 1',
'%%Warning: DPI svOpenArrayHandle function index 2',
'%%Warning: DPI svOpenArrayHandle function index 3',
'%s : callback data pointer is null',
'%s: Could not retrieve value of signal \'%s\' with',
'%s: Ignoring vpi_put_value to vpiConstant: %s',
'%s: Ignoring vpi_put_value to vpiParameter: %s',
'%s: Non hex character \'%c\' in \'%s\' as value %s for %s',
'%s: Non octal character \'%c\' in \'%s\' as value %s for %s',
'%s: Parsing failed for \'%s\' as value %s for %s',
'%s: Signal \'%s\' is marked forceable, but force',
'%s: Signal \'%s\' with vpiHandle \'%p\' is marked forceable, but force',
'%s: Trailing garbage \'%s\' in \'%s\' as value %s for %s',
'%s: Unsupported callback type %s',
'%s: Unsupported flags (%x)',
'%s: Unsupported format (%s) as requested for %s',
'%s: Unsupported format (%s) for %s',
'%s: Unsupported p_vpi_value as requested for \'%s\' with vpiInertialDelay',
'%s: Unsupported property %s, nothing will be returned',
'%s: Unsupported type %s, ignoring',
'%s: Unsupported type %s, nothing will be returned',
'%s: Unsupported type (%d)',
'%s: Unsupported type (%p, %s)',
'%s: Unsupported vltype (%d)',
'%s: Unsupported vpiHandle (%p)',
'%s: Unsupported vpiHandle (%p) for type %s, nothing will be returned',
'%s: Unsupported vpiUserAllocFlag (%x)',
'%s: index %u for object %s is out of bounds [%u,%u]',
'%s: requested elements (%u) exceed array size (%u)',
'%s: requested elements to set (%u) exceed array size (%u)',
'%s: vpi force or release requested for \'%s\', but vpiHandle \'%p\' of enable',
'%s: vpi force or release requested for \'%s\', but vpiHandle \'%p\' of value',
'Ignoring vpi_get_time with nullptr value pointer',
'Ignoring vpi_get_value_array with null index pointer',
'Ignoring vpi_get_value_array with null value pointer',
'Ignoring vpi_put_value with nullptr value pointer',
'Ignoring vpi_put_value_array to signal marked read-only,',
'Ignoring vpi_put_value_array with null index pointer',
'Ignoring vpi_put_value_array with null value pointer',
'vpi_get_value with more than VL_VALUE_STRING_MAX_WORDS; increase and',
'vpi_put_value was used on signal marked read-only,',
'Can\'t find varpin scope of',
'Can\'t read annotation file:',
'Can\'t resolve module reference: \'',
@ -167,7 +209,9 @@ def read_messages():
line = re.sub(r'\s+//.*', '', line)
line = line.rstrip()
m = re.search(r'\b((v3error|v3warn|v3fatal|BBUNSUP)\b.*)', line)
m = re.search(
r'\b((v3error|v3warn|v3fatal|BBUNSUP|VL_FATAL|VL_FATAL_MT|VL_SVDPI_WARN_|VL_WARN|VL_WARN_MT|VL_VPI_ERROR_|VL_VPI_WARNING_)\b.*)',
line)
if m:
statement = m.group(1)
statement_lineno = lineno