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

Make UNUSED/UNDRIVEN -Wall only

This commit is contained in:
Wilson Snyder 2010-12-26 10:17:35 -05:00
parent 7b83d2de49
commit 114af7d33f
4 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bin/verilator
View File

@ -2573,7 +2573,7 @@ cases would result in simulator mismatches.
Warns that the specified signal is never sourced. Warns that the specified signal is never sourced.
Ignoring this warning will only suppress the lint check, it will simulate Disabled by default as this is a code style warning, it will simulate
correctly. correctly.
=item UNOPT =item UNOPT
@ -2659,7 +2659,7 @@ correctly.
Warns that the specified signal is never sinked. This is a future message, Warns that the specified signal is never sinked. This is a future message,
currently Verilator will not produce this warning. currently Verilator will not produce this warning.
Ignoring this warning will only suppress the lint check, it will simulate Disabled by default as this is a code style warning, it will simulate
correctly. correctly.
=item VARHIDDEN =item VARHIDDEN

5
src/V3Error.h
View File

@ -132,13 +132,14 @@ public:
|| m_e==CMPCONST || m_e==CMPCONST
|| m_e==IMPLICIT || m_e==IMPLICIT
|| m_e==LITENDIAN || m_e==LITENDIAN
|| m_e==UNDRIVEN || m_e==UNSIGNED || m_e==UNSIGNED
|| m_e==UNUSED
|| m_e==WIDTH); } || m_e==WIDTH); }
// Warnings that are style only // Warnings that are style only
bool styleError() const { return ( m_e==DEFPARAM bool styleError() const { return ( m_e==DEFPARAM
|| m_e==DECLFILENAME || m_e==DECLFILENAME
|| m_e==INCABSPATH || m_e==INCABSPATH
|| m_e==UNDRIVEN
|| m_e==UNUSED
|| m_e==VARHIDDEN ); } || m_e==VARHIDDEN ); }
}; };
inline bool operator== (V3ErrorCode lhs, V3ErrorCode rhs) { return (lhs.m_e == rhs.m_e); } inline bool operator== (V3ErrorCode lhs, V3ErrorCode rhs) { return (lhs.m_e == rhs.m_e); }

2
test_regress/t/t_lint_implicit_bad.pl
View File

@ -10,7 +10,7 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
top_filename("t/t_lint_implicit.v"); top_filename("t/t_lint_implicit.v");
compile ( compile (
v_flags2 => ["--lint-only"], v_flags2 => ["--lint-only -Wall -Wno-DECLFILENAME"],
fails=>1, fails=>1,
expect=> expect=>
'%Warning-IMPLICIT: t/t_lint_implicit.v:\d+: Signal definition not found, creating implicitly: b '%Warning-IMPLICIT: t/t_lint_implicit.v:\d+: Signal definition not found, creating implicitly: b

2
test_regress/t/t_lint_implicit_def_bad.pl
View File

@ -8,7 +8,7 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
# Version 2.0. # Version 2.0.
compile ( compile (
v_flags2 => ["--lint-only"], v_flags2 => ["--lint-only -Wall -Wno-DECLFILENAME"],
fails=>1, fails=>1,
expect=> expect=>
'%Warning-IMPLICIT: t/t_lint_implicit_def_bad.v:\d+: Signal definition not found, creating implicitly: imp_warn '%Warning-IMPLICIT: t/t_lint_implicit_def_bad.v:\d+: Signal definition not found, creating implicitly: imp_warn