diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-02 17:18:08 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-02 17:18:08 +0700 |
| commit | 8b898f85e6daae51e1fa4fdedeab84a23f6655bb (patch) | |
| tree | 1b079dbfd30bf63d244ab3c94f06c59d111d039f /src | |
| parent | daf310cd4a98a941df164fc1deca6803723389c8 (diff) | |
| download | abc-8b898f85e6daae51e1fa4fdedeab84a23f6655bb.tar.gz abc-8b898f85e6daae51e1fa4fdedeab84a23f6655bb.tar.bz2 abc-8b898f85e6daae51e1fa4fdedeab84a23f6655bb.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/sbd/sbdCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c index 275d866f..63dc51ab 100644 --- a/src/opt/sbd/sbdCore.c +++ b/src/opt/sbd/sbdCore.c @@ -1945,7 +1945,7 @@ int Sbd_ManImplement2( Sbd_Man_t * p, int Pivot, int nStrs, Sbd_Str_t * pStrs ) void Sbd_ManDeriveMapping_rec( Sbd_Man_t * p, Gia_Man_t * pNew, int iObj ) { Gia_Obj_t * pObj; int k, * pCut; - if ( Gia_ObjIsTravIdCurrentId(pNew, iObj) ) + if ( !iObj || Gia_ObjIsTravIdCurrentId(pNew, iObj) ) return; Gia_ObjSetTravIdCurrentId(pNew, iObj); pObj = Gia_ManObj( pNew, iObj ); |