diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-06 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-06 08:01:00 -0800 |
| commit | 4cf99cae95c629b31d6d89c5dcea2eeb17654c85 (patch) | |
| tree | dd5984cdf1b9332b800921fd89cf190aa2c4d8d9 /src/misc/vec/vecInt.h | |
| parent | 38254947a57b9899909d8fbabfbf784690ed5a68 (diff) | |
| download | abc-4cf99cae95c629b31d6d89c5dcea2eeb17654c85.tar.gz abc-4cf99cae95c629b31d6d89c5dcea2eeb17654c85.tar.bz2 abc-4cf99cae95c629b31d6d89c5dcea2eeb17654c85.zip | |
Version abc61206
Diffstat (limited to 'src/misc/vec/vecInt.h')
| -rw-r--r-- | src/misc/vec/vecInt.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index 1973bd46..10918156 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -598,6 +598,9 @@ static inline int Vec_IntPushUnique( Vec_Int_t * p, int Entry ) ***********************************************************************/ static inline unsigned * Vec_IntFetch( Vec_Int_t * p, int nWords ) { + if ( nWords == 0 ) + return NULL; + assert( nWords > 0 ); p->nSize += nWords; if ( p->nSize > p->nCap ) { |