diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-17 22:40:40 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-17 22:40:40 -0800 |
| commit | 25914e417a0d30793043dd37bcbc5ee977b84b36 (patch) | |
| tree | a57910fe6f76f85d97c52a701d08b41981b7cba8 /src | |
| parent | 6bff2986a2eadb73451ad9fd962b7e2c5194c8be (diff) | |
| download | abc-25914e417a0d30793043dd37bcbc5ee977b84b36.tar.gz abc-25914e417a0d30793043dd37bcbc5ee977b84b36.tar.bz2 abc-25914e417a0d30793043dd37bcbc5ee977b84b36.zip | |
Added notification about exceeding the number of nodes.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 6bf2918d..4fbff031 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -430,6 +430,8 @@ static inline Gia_Obj_t * Gia_ManAppendObj( Gia_Man_t * p ) { if ( p->nObjs == p->nObjsAlloc ) { + if ( 2 * p->nObjsAlloc > (1 << 29) ) + printf( "Hard limit on the number of nodes (2^29) is reached. Quitting...\n" ), exit(1); if ( p->fVerbose ) printf("Extending GIA object storage: %d -> %d.\n", p->nObjsAlloc, 2 * p->nObjsAlloc ); assert( p->nObjsAlloc > 0 ); |