diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-03 12:23:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-03 12:23:49 -0700 |
| commit | 7669c99605b6c7ea4a3e560d99861e57da4e8f54 (patch) | |
| tree | fb8dfa49bd541eaa2451ad38222ff1a072a17591 /src/map/if/ifCache.c | |
| parent | 3db3be2d6130324f9c8d685c4dc04d7069fcab12 (diff) | |
| download | abc-7669c99605b6c7ea4a3e560d99861e57da4e8f54.tar.gz abc-7669c99605b6c7ea4a3e560d99861e57da4e8f54.tar.bz2 abc-7669c99605b6c7ea4a3e560d99861e57da4e8f54.zip | |
Improvements to technology mapping.
Diffstat (limited to 'src/map/if/ifCache.c')
| -rw-r--r-- | src/map/if/ifCache.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 ) |