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

Parse elaboration-time nettype declarations (as UNSUPPORTED)

This commit is contained in:
Wilson Snyder 2024-09-21 21:00:02 -04:00
parent 888af29a72
commit 9f9770e722
2 changed files with 22 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/verilog.y
View File

@ -2560,16 +2560,28 @@ data_declarationVarFrontClass: // IEEE: part of data_declaration (for class_pro
; ;
nettype_declaration<nodep>: // IEEE: nettype_declaration/net_type_declaration nettype_declaration<nodep>: // IEEE: nettype_declaration/net_type_declaration
yNETTYPE data_type idAny/*nettype_identifier*/ ';' // // Union of data_typeAny and nettype_identifier matching
yNETTYPE data_typeNoRef
/*cont*/ idAny/*nettype_identifier*/ ';'
{ $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype"); } { $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype"); }
// // package_scope part of data_type | yNETTYPE data_typeNoRef
| yNETTYPE data_type idAny yWITH__ETC packageClassScopeE id/*tf_identifier*/ ';' /*cont*/ idAny/*nettype_identifier*/
{ $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype"); }
| yNETTYPE packageClassScopeE id/*nettype_identifier*/ idAny/*nettype_identifier*/ ';'
{ $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype"); }
| yNETTYPE packageClassScopeE id/*nettype_identifier*/ idAny/*nettype_identifier*/
/*cont*/ yWITH__ETC packageClassScopeE id/*tf_identifier*/ ';' /*cont*/ yWITH__ETC packageClassScopeE id/*tf_identifier*/ ';'
{ $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype with"); }
| yNETTYPE packageClassScopeE idAny packed_dimensionListE
/*cont*/ idAny/*nettype_identifier*/ ';'
{ $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype"); } { $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype"); }
| yNETTYPE packageClassScopeE idAny packed_dimensionListE
/*cont*/ idAny/*nettype_identifier*/
/*cont*/ yWITH__ETC packageClassScopeE id/*tf_identifier*/ ';'
{ $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype with"); }
| yNETTYPE packageClassScopeE idAny parameter_value_assignmentClass packed_dimensionListE
/*cont*/ idAny/*nettype_identifier*/ ';'
{ $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype"); }
| yNETTYPE packageClassScopeE idAny parameter_value_assignmentClass packed_dimensionListE
/*cont*/ idAny/*nettype_identifier*/
/*cont*/ yWITH__ETC packageClassScopeE id/*tf_identifier*/ ';'
{ $$ = nullptr; BBUNSUP($<fl>1, "Unsupported: nettype with"); }
; ;
implicit_typeE<nodeDTypep>: // IEEE: part of *data_type_or_implicit implicit_typeE<nodeDTypep>: // IEEE: part of *data_type_or_implicit

6
test_regress/t/t_nettype.out
View File

@ -1,14 +1,14 @@
%Error-UNSUPPORTED: t/t_nettype.v:25:4: Unsupported: nettype %Error-UNSUPPORTED: t/t_nettype.v:25:4: Unsupported: nettype with
25 | nettype real real1_n with Pkg::resolver; 25 | nettype real real1_n with Pkg::resolver;
| ^~~~~~~ | ^~~~~~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error-UNSUPPORTED: t/t_nettype.v:29:4: Unsupported: nettype %Error-UNSUPPORTED: t/t_nettype.v:29:4: Unsupported: nettype with
29 | nettype real real2_n with local_resolver; 29 | nettype real real2_n with local_resolver;
| ^~~~~~~ | ^~~~~~~
%Error-UNSUPPORTED: t/t_nettype.v:34:4: Unsupported: nettype %Error-UNSUPPORTED: t/t_nettype.v:34:4: Unsupported: nettype
34 | nettype real2_n real3_n; 34 | nettype real2_n real3_n;
| ^~~~~~~ | ^~~~~~~
%Error-UNSUPPORTED: t/t_nettype.v:38:4: Unsupported: nettype %Error-UNSUPPORTED: t/t_nettype.v:38:4: Unsupported: nettype with
38 | nettype Pkg::real_t real4_n with Pkg::resolver; 38 | nettype Pkg::real_t real4_n with Pkg::resolver;
| ^~~~~~~ | ^~~~~~~
%Error: Exiting due to %Error: Exiting due to