diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-20 14:23:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-20 14:23:00 -0800 |
| commit | 466c4e9992fb10e4f6b1dc92b41e14c1305d8269 (patch) | |
| tree | 21a8935ebfd7bda80cb3ee1b2153e3e18b1e3020 /src/aig/gia/giaIf.c | |
| parent | f4c305fc468c5657a2bbae825261f3e4278ed6f8 (diff) | |
| download | abc-466c4e9992fb10e4f6b1dc92b41e14c1305d8269.tar.gz abc-466c4e9992fb10e4f6b1dc92b41e14c1305d8269.tar.bz2 abc-466c4e9992fb10e4f6b1dc92b41e14c1305d8269.zip | |
Integrating hierarchy information (reporting incorrect topological order).
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 00252f28..b99b9a71 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1146,6 +1146,8 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) if ( p->pManTime ) { pNew = Gia_ManDupWithHierarchy( p, &vNodes ); + if ( pNew == NULL ) + return NULL; pNew->pManTime = p->pManTime; p->pManTime = NULL; pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; p = pNew; |