From 7669c99605b6c7ea4a3e560d99861e57da4e8f54 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 3 Apr 2014 12:23:49 -0700
Subject: Improvements to technology mapping.

---
 src/map/if/ifCache.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/map/if/ifCache.c')

diff --git a/src/map/if/ifCache.c b/src/map/if/ifCache.c
index f2312447..c36139d9 100644
--- a/src/map/if/ifCache.c
+++ b/src/map/if/ifCache.c
@@ -44,6 +44,7 @@ ABC_NAMESPACE_IMPL_START
 ***********************************************************************/
 void If_ManCacheRecord( If_Man_t * p, int iDsd0, int iDsd1, int nShared, int iDsd )
 {
+    assert( nShared >= 0 && nShared <= p->pPars->nLutSize );
     if ( p->vCutData == NULL )
         p->vCutData = Vec_IntAlloc( 10000 );
     if ( iDsd0 > iDsd1 )
-- 
cgit v1.2.3