diff options
| author | Zachary Snow <zach@zachjs.com> | 2021-05-10 11:06:02 -0400 |
|---|---|---|
| committer | Zachary Snow <zachary.j.snow@gmail.com> | 2021-05-10 14:37:32 -0400 |
| commit | 445208086121ea343bdb80a9998637361c841bea (patch) | |
| tree | fbd5fe2314350d702fe8b94fff0bd913b33958f1 | |
| parent | 32a0ce9d6809d073abcbf19fe3eaf7a0cf936963 (diff) | |
| download | yosys-445208086121ea343bdb80a9998637361c841bea.tar.gz yosys-445208086121ea343bdb80a9998637361c841bea.tar.bz2 yosys-445208086121ea343bdb80a9998637361c841bea.zip | |
sv: check validity of package end label
| -rw-r--r-- | frontends/verilog/verilog_parser.y | 2 | ||||
| -rw-r--r-- | tests/verilog/package_end_label.ys | 15 |
2 files changed, 17 insertions, 0 deletions
diff --git a/frontends/verilog/verilog_parser.y b/frontends/verilog/verilog_parser.y index e4b3258c2..dd25f412f 100644 --- a/frontends/verilog/verilog_parser.y +++ b/frontends/verilog/verilog_parser.y @@ -579,6 +579,8 @@ package: append_attr(mod, $1); } ';' package_body TOK_ENDPACKAGE opt_label { ast_stack.pop_back(); + if ($4 != NULL && $9 != NULL && *$4 != *$9) + frontend_verilog_yyerror("Package name (%s) and end label (%s) don't match.", $4->c_str()+1, $9->c_str()+1); current_ast_mod = NULL; exitTypeScope(); }; diff --git a/tests/verilog/package_end_label.ys b/tests/verilog/package_end_label.ys new file mode 100644 index 000000000..ccc5c96e9 --- /dev/null +++ b/tests/verilog/package_end_label.ys @@ -0,0 +1,15 @@ +logger -expect-no-warnings +read_verilog -sv <<EOF +package correct_name; +localparam X = 1; +endpackage : correct_name +EOF + +design -reset + +logger -expect error "Package name \(correct_name\) and end label \(incorrect_name\) don't match\." 1 +read_verilog -sv <<EOF +package correct_name; +localparam X = 1; +endpackage : incorrect_name +EOF |