mirror of
https://github.com/verilator/verilator.git
synced 2025-01-05 22:27:35 +00:00
Show warnings if use
git-svn-id: file://localhost/svn/verilator/trunk/verilator@857 77ca24e4-aefa-0310-84f0-b9a241c72d87
This commit is contained in:
parent
8714ee591f
commit
26bab12257
@ -189,6 +189,20 @@ escid \\[^ \t\f\r\n]+
|
||||
<VLG,PSL>"$unsigned" {yylval.fileline = CRELINE(); return yD_UNSIGNED;}
|
||||
<VLG,PSL>"$width" {yylval.fileline = CRELINE(); return yTIMINGSPEC;}
|
||||
<VLG,PSL>"$write" {yylval.fileline = CRELINE(); return yD_WRITE;}
|
||||
|
||||
<VLG,PSL>"$displayb" {yyerrorf("Unsupported: Use $display with %%b format instead: %s",yytext);}
|
||||
<VLG,PSL>"$displayh" {yyerrorf("Unsupported: Use $display with %%x format instead: %s",yytext);}
|
||||
<VLG,PSL>"$displayo" {yyerrorf("Unsupported: Use $display with %%o format instead: %s",yytext);}
|
||||
<VLG,PSL>"$fdisplayb" {yyerrorf("Unsupported: Use $fdisplay with %%b format instead: %s",yytext);}
|
||||
<VLG,PSL>"$fdisplayh" {yyerrorf("Unsupported: Use $fdisplay with %%x format instead: %s",yytext);}
|
||||
<VLG,PSL>"$fdisplayo" {yyerrorf("Unsupported: Use $fdisplay with %%o format instead: %s",yytext);}
|
||||
<VLG,PSL>"$fwriteb" {yyerrorf("Unsupported: Use $fwrite with %%b format instead: %s",yytext);}
|
||||
<VLG,PSL>"$fwriteh" {yyerrorf("Unsupported: Use $fwrite with %%x format instead: %s",yytext);}
|
||||
<VLG,PSL>"$fwriteo" {yyerrorf("Unsupported: Use $fwrite with %%o format instead: %s",yytext);}
|
||||
<VLG,PSL>"$writeb" {yyerrorf("Unsupported: Use $write with %%b format instead: %s",yytext);}
|
||||
<VLG,PSL>"$writeh" {yyerrorf("Unsupported: Use $write with %%x format instead: %s",yytext);}
|
||||
<VLG,PSL>"$writeo" {yyerrorf("Unsupported: Use $write with %%o format instead: %s",yytext);}
|
||||
|
||||
<VLG,PSL>"$"[a-zA-Z_$]+ {yyerrorf("Unsupported or unknown PLI call: %s",yytext);}
|
||||
|
||||
/*PSL Implemented */
|
||||
|
Loading…
Reference in New Issue
Block a user