diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-27 15:23:12 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-27 15:23:12 -0700 |
commit | 324d73c29a22766063df46f9e35a3cbe719a83c2 (patch) | |
tree | a1f9bddaf945d689c458f95893d8424da0dbf816 /src/misc/vec/vecVec.h | |
parent | ae9a4407c4abf4200365faceb9d8cac0d99236b3 (diff) | |
download | abc-324d73c29a22766063df46f9e35a3cbe719a83c2.tar.gz abc-324d73c29a22766063df46f9e35a3cbe719a83c2.tar.bz2 abc-324d73c29a22766063df46f9e35a3cbe719a83c2.zip |
New fast extract.
Diffstat (limited to 'src/misc/vec/vecVec.h')
-rw-r--r-- | src/misc/vec/vecVec.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/misc/vec/vecVec.h b/src/misc/vec/vecVec.h index d935be0f..f8f36d8b 100644 --- a/src/misc/vec/vecVec.h +++ b/src/misc/vec/vecVec.h @@ -253,6 +253,7 @@ static inline int Vec_VecCap( Vec_Vec_t * p ) ***********************************************************************/ static inline int Vec_VecLevelSize( Vec_Vec_t * p, int i ) { + assert( i >= 0 && i < p->nSize ); return Vec_PtrSize( (Vec_Ptr_t *)p->pArray[i] ); } @@ -617,7 +618,7 @@ static inline void Vec_VecPrintInt( Vec_Vec_t * p, int fSkipSingles ) int i, k, Entry; Vec_VecForEachEntryInt( p, Entry, i, k ) { - if ( Vec_VecLevelSize(p, i) == 1 ) + if ( fSkipSingles && Vec_VecLevelSize(p, i) == 1 ) break; if ( k == 0 ) printf( " %4d : {", i ); |