Added "synthesis" in (synopsys|synthesis) comment support

diff --git a/frontends/verilog/lexer.l b/frontends/verilog/lexer.l
index 6b9c9e4ccc0e38844d5ab48bf49a1f6cf0b11dd1..fea383cf4d9346131a42149a8fa1ee4697e4eee0 100644 (file)
--- a/frontends/verilog/lexer.l
+++ b/frontends/verilog/lexer.l
@@ -192,25 +192,25 @@ supply1 { return TOK_SUPPLY1; }
        return TOK_ID;
 }
 
-"/*"[ \t]*synopsys[ \t]*translate_off[ \t]*"*/" {
-       log("Warning: Found one of those horrible `synopsys translate_off' comments.\n");
+"/*"[ \t]*(synopsys|synthesis)[ \t]*translate_off[ \t]*"*/" {
+       log("Warning: Found one of those horrible `(synopsys|synthesis) translate_off' comments.\n");
        log("It is strongly suggested to use `ifdef constructs instead!\n");
        BEGIN(SYNOPSYS_TRANSLATE_OFF);
 }
 <SYNOPSYS_TRANSLATE_OFF>.    /* ignore synopsys translate_off body */
 <SYNOPSYS_TRANSLATE_OFF>\n   /* ignore synopsys translate_off body */
-<SYNOPSYS_TRANSLATE_OFF>"/*"[ \t]*"synopsys"[ \t]*"translate_on"[ \t]*"*/" { BEGIN(0); }
+<SYNOPSYS_TRANSLATE_OFF>"/*"[ \t]*(synopsys|synthesis)[ \t]*"translate_on"[ \t]*"*/" { BEGIN(0); }
 
-"/*"[ \t]*"synopsys"[ \t]+ {
+"/*"[ \t]*(synopsys|synthesis)[ \t]+ {
        BEGIN(SYNOPSYS_FLAGS);
 }
 <SYNOPSYS_FLAGS>full_case {
-       log("Warning: Found one of those horrible `synopsys full_case' comments.\n");
+       log("Warning: Found one of those horrible `(synopsys|synthesis) full_case' comments.\n");
        log("It is strongly suggested to use verilog x-values and default branches instead!\n");
        return TOK_SYNOPSYS_FULL_CASE;
 }
 <SYNOPSYS_FLAGS>parallel_case {
-       log("Warning: Found one of those horrible `synopsys parallel_case' comments.\n");
+       log("Warning: Found one of those horrible `(synopsys|synthesis) parallel_case' comments.\n");
        log("It is strongly suggested to use verilog `parallel_case' attributes instead!\n");
        return TOK_SYNOPSYS_PARALLEL_CASE;
 }