From 25914e417a0d30793043dd37bcbc5ee977b84b36 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 17 Jan 2012 22:40:40 -0800
Subject: Added notification about exceeding the number of nodes.

---
 src/aig/gia/gia.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

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 );
-- 
cgit v1.2.3