diff options
| -rw-r--r-- | src/misc/util/utilNam.c | 4 | ||||
| -rw-r--r-- | src/misc/util/utilNam.h | 1 | ||||
| -rw-r--r-- | src/misc/vec/vecInt.h | 14 |
3 files changed, 5 insertions, 14 deletions
diff --git a/src/misc/util/utilNam.c b/src/misc/util/utilNam.c index c6399818..9615b81f 100644 --- a/src/misc/util/utilNam.c +++ b/src/misc/util/utilNam.c @@ -360,7 +360,9 @@ int Abc_NamStrFind( Abc_Nam_t * p, char * pStr ) int Abc_NamStrFindOrAdd( Abc_Nam_t * p, char * pStr, int * pfFound ) { int iHandleNew; - int *piPlace = Abc_NamStrHashFind( p, pStr ); + int *piPlace; + assert( pStr[0] != '\\' || pStr[strlen(pStr)-1] == ' ' ); + piPlace = Abc_NamStrHashFind( p, pStr ); if ( *piPlace ) { if ( pfFound ) diff --git a/src/misc/util/utilNam.h b/src/misc/util/utilNam.h index fd29e537..be8067a9 100644 --- a/src/misc/util/utilNam.h +++ b/src/misc/util/utilNam.h @@ -60,6 +60,7 @@ extern int Abc_NamStrFindOrAdd( Abc_Nam_t * p, char * pStr, int * pf extern char * Abc_NamStr( Abc_Nam_t * p, int id ); extern Vec_Int_t * Abc_NamComputeIdMap( Abc_Nam_t * p1, Abc_Nam_t * p2 ); extern int Abc_NamReportCommon( Vec_Int_t * vNameIds1, Abc_Nam_t * p1, Abc_Nam_t * p2 ); +extern char * Abc_NamReportUnique( Vec_Int_t * vNameIds1, Abc_Nam_t * p1, Abc_Nam_t * p2 ); ABC_NAMESPACE_HEADER_END diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index fe6e98dd..a9d7e92d 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -259,22 +259,10 @@ static inline Vec_Int_t * Vec_IntDupArray( Vec_Int_t * pVec ) ***********************************************************************/ static inline void Vec_IntErase( Vec_Int_t * p ) { - p->pArray = NULL; + ABC_FREE( p->pArray ); p->nSize = 0; p->nCap = 0; } - -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ static inline void Vec_IntFree( Vec_Int_t * p ) { ABC_FREE( p->pArray ); |