From ac7e665bf69a504371f8e6204e83f4b9dbe96cb5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 14 Jan 2012 22:21:23 -0800
Subject: Bug fixes in the Verilog parser.

---
 src/base/ver/verCore.c  | 2 ++
 src/base/ver/verParse.c | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/base/ver')

diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c
index eb036620..d2744402 100644
--- a/src/base/ver/verCore.c
+++ b/src/base/ver/verCore.c
@@ -1098,6 +1098,8 @@ int Ver_ParseAssign( Ver_Man_t * pMan, Abc_Ntk_t * pNtk )
         pWord = Ver_ParseGetName( pMan );
         if ( pWord == NULL )
             return 0;
+        if ( strcmp(pWord, "#1") == 0 )
+            continue;
         // check for vector-inputs
         if ( !Ver_ParseLookupSuffix( pMan, pWord, &nMsb, &nLsb ) )
             return 0;
diff --git a/src/base/ver/verParse.c b/src/base/ver/verParse.c
index 553d0348..c1ae1781 100644
--- a/src/base/ver/verParse.c
+++ b/src/base/ver/verParse.c
@@ -116,7 +116,7 @@ char * Ver_ParseGetName( Ver_Man_t * pMan )
     }
     else
         pWord = Ver_StreamGetWord( p, " \t\n\r(),;" );
-    if ( !Ver_ParseSkipComments( pMan ) )
+    if ( Ver_StreamIsOkey(p) && !Ver_ParseSkipComments( pMan ) )
         return NULL;
     return pWord;
 }
-- 
cgit v1.2.3