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

Error cleanups.

This commit is contained in:
Wilson Snyder 2020-01-10 19:18:27 -05:00
parent 8859cbf5bc
commit 2638f9db19
4 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/V3Width.cpp
View File

@ -1568,7 +1568,7 @@ private:
AstConst* constp = VN_CAST(itemp->valuep(), Const);
if (constp->num().isFourState() && nodep->dtypep()->basicp()
&& !nodep->dtypep()->basicp()->isFourstate())
itemp->v3error("Enum value with X/Zs cannot be assigned to non-fourstate type (IEEE 2019 6.19)");
itemp->v3error("Enum value with X/Zs cannot be assigned to non-fourstate type (IEEE 2017 6.19)");
num.opAssign(constp->num());
// Look for duplicates
if (inits.find(num) != inits.end()) { // IEEE says illegal
@ -1825,7 +1825,7 @@ private:
methodCallString(nodep, basicp);
}
else {
nodep->v3error("Unsupported: Member call on non-enum object '"
nodep->v3error("Unsupported: Member call on object '"
<<nodep->fromp()->prettyTypeName()
<<"' which is a '"<<nodep->fromp()->dtypep()->prettyTypeName()<<"'");
}

2
test_regress/t/t_enum_x_bad.out
View File

@ -1,4 +1,4 @@
%Error: t/t_enum_x_bad.v:8: Enum value with X/Zs cannot be assigned to non-fourstate type (IEEE 2019 6.19)
%Error: t/t_enum_x_bad.v:8: Enum value with X/Zs cannot be assigned to non-fourstate type (IEEE 2017 6.19)
: ... In instance t
enum bit [1:0] { BADX = 2'b1x } BAD1;
^~~~

2
test_regress/t/t_fuzz_genintf_bad.out
View File

@ -1,4 +1,4 @@
%Error: t/t_fuzz_genintf_bad.v:23: Unsupported: Member call on non-enum object 'VARREF 'j'' which is a 'BASICDTYPE 'integer''
%Error: t/t_fuzz_genintf_bad.v:23: Unsupported: Member call on object 'VARREF 'j'' which is a 'BASICDTYPE 'integer''
: ... In instance t
j.e(0),
^

2
test_regress/t/t_fuzz_triand_bad.out
View File

@ -1,4 +1,4 @@
%Error: t/t_fuzz_triand_bad.v:7: Unsupported: Member call on non-enum object 'VARREF 'g'' which is a 'BASICDTYPE 'logic''
%Error: t/t_fuzz_triand_bad.v:7: Unsupported: Member call on object 'VARREF 'g'' which is a 'BASICDTYPE 'logic''
: ... In instance t
tri g=g.and.g;
^~~