diff --git a/bin/verilator b/bin/verilator index 29c2d2115..e8178b299 100755 --- a/bin/verilator +++ b/bin/verilator @@ -351,7 +351,8 @@ descriptions in the next sections for more information. +verilog1995ext+ Synonym for +1364-1995ext+ +verilog2001ext+ Synonym for +1364-2001ext+ --vpi Enable VPI compiles - -Werror- Convert warning to error + -Wall Enable all style warnings + -Werror- Convert warnings to errors -Wfuture- Disable unknown message warnings -Wno- Disable warning -Wno-lint Disable all lint warnings @@ -1200,8 +1201,9 @@ Enable use of VPI and linking against the verilated_vpi.cpp files. =item -Wall -Enable all warnings, including code style warnings that are normally -disabled by default. +Enable all code style warnings, including code style warnings that are +normally disabled by default. Equivelent to "-Wwarn-lint -Wwarn-style". +Excludes some specialty warnings, i.e. IMPERFECTSCH. =item -Werror-I @@ -3156,8 +3158,8 @@ correctly. Warns that the scheduling of the model is not absolutely perfect, and some manual code edits may result in faster performance. This warning defaults -to off, and must be turned on explicitly before the top module statement is -processed. +to off, is not part of -Wall, and must be turned on explicitly before the +top module statement is processed. =item IMPLICIT diff --git a/test_regress/t/t_order_clkinst_bad.pl b/test_regress/t/t_order_clkinst_bad.pl new file mode 100755 index 000000000..caf2f84ba --- /dev/null +++ b/test_regress/t/t_order_clkinst_bad.pl @@ -0,0 +1,21 @@ +#!/usr/bin/perl +if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; } +# DESCRIPTION: Verilator: Verilog Test driver/expect definition +# +# Copyright 2003-2009 by Wilson Snyder. This program is free software; you can +# redistribute it and/or modify it under the terms of either the GNU +# Lesser General Public License Version 3 or the Perl Artistic License +# Version 2.0. + +top_filename("t/t_order_clkinst.v"); + +compile ( + v_flags2 => ["-Wwarn-IMPERFECTSCH"], + fails=>1, + expect=> +q{.*%Warning-IMPERFECTSCH: .* +.*%Error: Exiting due to.*}, + ); + +ok(1); +1;