From b1802e4fdc32473d3c2fb30c1dbdbc6c33939695 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 20 Feb 2020 12:02:55 -0800
Subject: Assertion failure in reading NDR.

---
 src/base/wlc/wlcNdr.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/base/wlc/wlcNdr.c b/src/base/wlc/wlcNdr.c
index e0be9002..3212500f 100644
--- a/src/base/wlc/wlcNdr.c
+++ b/src/base/wlc/wlcNdr.c
@@ -504,9 +504,10 @@ Wlc_Ntk_t * Wlc_NtkFromNdr( void * pData )
         {
             int iObj   = Wlc_ObjId(pNtk, pObj);
             int NameId = Wlc_ObjNameId(pNtk, iObj);
-            word Truth = Vec_WrdEntry(vTruths, NameId);
+            word Truth;
             if ( pObj->Type != WLC_OBJ_LUT || NameId == 0 )
                 continue;
+            Truth = Vec_WrdEntry(vTruths, NameId);
             assert( sizeof(void *) == 8 || Wlc_ObjFaninNum(pObj) < 6 );
             Vec_WrdWriteEntry( pNtk->vLutTruths, iObj, Truth );
         }
-- 
cgit v1.2.3