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

Tests: Improve t_lint_unused_func_bad.v

This commit is contained in:
Wilson Snyder 2026-02-17 06:20:42 -05:00
parent 9049c93009
commit 089672b200
2 changed files with 32 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
test_regress/t/t_lint_unused_func_bad.out
View File

@ -1,29 +1,29 @@
%Warning-UNUSEDSIGNAL: t/t_lint_unused_func_bad.v:14:53: Function variable is not used: 'not_used' %Warning-UNUSEDSIGNAL: t/t_lint_unused_func_bad.v:15:7: Function variable is not used: 'not_used'
: ... note: In instance 't' : ... note: In instance 't'
14 | function automatic int unused_input_unused_func(int not_used); 15 | int not_used);
| ^~~~~~~~ | ^~~~~~~~
... For warning description see https://verilator.org/warn/UNUSEDSIGNAL?v=latest ... For warning description see https://verilator.org/warn/UNUSEDSIGNAL?v=latest
... Use "/* verilator lint_off UNUSEDSIGNAL */" and lint_on around source to disable this message. ... Use "/* verilator lint_off UNUSEDSIGNAL */" and lint_on around source to disable this message.
%Warning-UNDRIVEN: t/t_lint_unused_func_bad.v:20:7: Function variable is not driven: 'not_driven' %Warning-UNDRIVEN: t/t_lint_unused_func_bad.v:21:7: Function variable is not driven: 'not_driven'
: ... note: In instance 't' : ... note: In instance 't'
20 | int not_driven; 21 | int not_driven;
| ^~~~~~~~~~ | ^~~~~~~~~~
... For warning description see https://verilator.org/warn/UNDRIVEN?v=latest ... For warning description see https://verilator.org/warn/UNDRIVEN?v=latest
... Use "/* verilator lint_off UNDRIVEN */" and lint_on around source to disable this message. ... Use "/* verilator lint_off UNDRIVEN */" and lint_on around source to disable this message.
%Warning-UNDRIVEN: t/t_lint_unused_func_bad.v:25:7: Function variable is not driven: 'undriven_result' %Warning-UNDRIVEN: t/t_lint_unused_func_bad.v:26:7: Function variable is not driven: 'undriven_result'
: ... note: In instance 't' : ... note: In instance 't'
25 | int undriven_result; 26 | int undriven_result;
| ^~~~~~~~~~~~~~~ | ^~~~~~~~~~~~~~~
%Warning-UNDRIVEN: t/t_lint_unused_func_bad.v:29:52: Function variable is not driven: 'undriven_out_param' %Warning-UNDRIVEN: t/t_lint_unused_func_bad.v:36:14: Function variable is not driven: 'undriven_out_param'
: ... note: In instance 't' : ... note: In instance 't'
29 | function automatic void undriven_output(output int undriven_out_param); 36 | output int undriven_out_param);
| ^~~~~~~~~~~~~~~~~~ | ^~~~~~~~~~~~~~~~~~
%Warning-UNUSEDSIGNAL: t/t_lint_unused_func_bad.v:32:51: Function variable is not driven, nor used: 'untouched_inout_param' %Warning-UNUSEDSIGNAL: t/t_lint_unused_func_bad.v:40:13: Function variable is not driven, nor used: 'untouched_inout_param'
: ... note: In instance 't' : ... note: In instance 't'
32 | function automatic void untouched_inout(inout int untouched_inout_param); 40 | inout int untouched_inout_param);
| ^~~~~~~~~~~~~~~~~~~~~ | ^~~~~~~~~~~~~~~~~~~~~
%Warning-UNUSEDSIGNAL: t/t_lint_unused_func_bad.v:35:63: Function variable is not driven, nor used: 'untouched_inout_unused_func_param' %Warning-UNUSEDSIGNAL: t/t_lint_unused_func_bad.v:44:13: Function variable is not driven, nor used: 'untouched_inout_unused_func_param'
: ... note: In instance 't' : ... note: In instance 't'
35 | function automatic void untouched_inout_unused_func(inout int untouched_inout_unused_func_param); 44 | inout int untouched_inout_unused_func_param);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%Error: Exiting due to %Error: Exiting due to

21
test_regress/t/t_lint_unused_func_bad.v
View File

@ -11,28 +11,37 @@ function automatic int ok_unused_func(real val);
endfunction endfunction
// Unused parameter // Unused parameter
function automatic int unused_input_unused_func(int not_used); function automatic int unused_input_unused_func(
int not_used); // <-- Warning: UNUSED not_used
return 5; return 5;
endfunction endfunction
// Undriven variable // Undriven variable
function automatic int undriven_var_unused_func(int some_val); function automatic int undriven_var_unused_func(int some_val);
int not_driven; int not_driven; // <--- Warning: UNDRIVEN not_driven
return some_val + not_driven; return some_val + not_driven;
endfunction endfunction
function automatic int undriven_var(); function automatic int undriven_var();
int undriven_result; int undriven_result; // <--- Warning: UNDRIVEN undriven_result
return undriven_result; return undriven_result;
endfunction endfunction
function automatic void undriven_output(output int undriven_out_param); function automatic int driven_var();
int driven_result = 3; // Ok
return driven_result;
endfunction endfunction
function automatic void untouched_inout(inout int untouched_inout_param); function automatic void undriven_output( //
output int undriven_out_param); // <-- Warning: UNDRIVEN
endfunction endfunction
function automatic void untouched_inout_unused_func(inout int untouched_inout_unused_func_param); function automatic void untouched_inout( //
inout int untouched_inout_param); // <--- Warning: UNUSED
endfunction
function automatic void untouched_inout_unused_func( //
inout int untouched_inout_unused_func_param); // <--- Warning: UNUSED
endfunction endfunction
function automatic void driven_inout_unused_func(inout int driven_inout_unused_func_param); function automatic void driven_inout_unused_func(inout int driven_inout_unused_func_param);