From 31e5c526cfca9b0caacddb4d9882d64be0250ab7 Mon Sep 17 00:00:00 2001
From: Krzysztof Sychla <ksychla@antmicro.com>
Date: Mon, 3 Mar 2025 11:36:25 +0100
Subject: [PATCH] Ignore unsupported statements in the specify block

Signed-off-by: Krzysztof Sychla <ksychla@antmicro.com>
---
 src/verilog.y | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/verilog.y b/src/verilog.y
index b5c85e234..46c25ff7c 100644
--- a/src/verilog.y
+++ b/src/verilog.y
@@ -5775,9 +5775,8 @@ specify_itemList<nodep>:            // IEEE: { specify_item }
         ;
 
 specify_item<nodep>:                // ==IEEE: specify_item
-                specparam_declaration                   { $$ = $1; }
-        |       system_timing_check                     { $$ = $1; }
-        |       yaTIMINGSPEC junkToSemiList ';'         { $$ = nullptr; }
+                system_timing_check                     { $$ = $1; }
+        |       junkToSemiList ';'                      { $$ = nullptr; }
         ;
 
 specparam_declaration<nodep>:       // ==IEEE: specparam_declaration
@@ -5828,7 +5827,7 @@ junkToSemiList:
         ;
 
 junkToSemi:
-                BISONPRE_NOT(';',yENDSPECIFY,yENDMODULE)        { }
+                BISONPRE_NOT(';',yENDSPECIFY,yENDMODULE,yD_SETUPHOLD)        { }
         |       error {}
         ;