verilog: do not warn for attributes on null statements

diff --git a/frontends/verilog/verilog_parser.y b/frontends/verilog/verilog_parser.y
index eb7e136ae0ee098dd275567ecfd10a59decee15b..475557af94219d7d622a299df2f7528958c1376f 100644 (file)
--- a/frontends/verilog/verilog_parser.y
+++ b/frontends/verilog/verilog_parser.y
@@ -2230,7 +2230,6 @@ behavioral_stmt:
        non_opt_delay behavioral_stmt |
        attr simple_behavioral_stmt ';' |
        attr ';' {
-               log_file_warning(current_filename, get_line_num(), "Attribute(s) attached to null statement. Ignoring.\n");
                free_attr($1);
        } |
        attr hierarchical_id {
@@ -2534,7 +2533,6 @@ module_gen_body:
 gen_stmt_or_module_body_stmt:
        gen_stmt | module_body_stmt |
        attr ';' {
-               log_file_warning(current_filename, get_line_num(), "Attribute(s) attached to null statement. Ignoring.\n");
                free_attr($1);
        };
 

diff --git a/tests/verilog/bug2037.ys b/tests/verilog/bug2037.ys
index 42c4b8f5d076575142af7fdb4a13c41b4153da07..eb4f0fac478a1cf8850dc092533a563b8d2c0d41 100644 (file)
--- a/tests/verilog/bug2037.ys
+++ b/tests/verilog/bug2037.ys
@@ -1,4 +1,3 @@
-logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 1
 logger -expect-no-warnings
 read_verilog <<EOT
 module test ();
@@ -7,10 +6,10 @@ module test ();
                if (y) (* foo *) ;
 endmodule
 EOT
+select -assert-none a:* a:src %d
 
 
 design -reset
-logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 3 # cumulative
 logger -expect-no-warnings
 read_verilog <<EOT
 module test ();
@@ -19,10 +18,10 @@ module test ();
                if (y) (* foo *) ; else (* bar *) ;
 endmodule
 EOT
+select -assert-none a:* a:src %d
 
 
 design -reset
-logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 4 # cumulative
 logger -expect-no-warnings
 read_verilog <<EOT
 module test ();
@@ -30,10 +29,10 @@ module test ();
     generate if (y) (* foo *) ; endgenerate
 endmodule
 EOT
+select -assert-none a:*
 
 
 design -reset
-logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 6 # cumulative
 logger -expect-no-warnings
 read_verilog <<EOT
 module test ();
@@ -41,3 +40,4 @@ module test ();
     generate if (y) (* foo *) ; else (* bar *); endgenerate
 endmodule
 EOT
+select -assert-none a:*