summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-04-20 10:12:29 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-04-20 10:12:29 -0700
commit73789120c17bb857976ccf0b8f34a59832dfadee (patch)
tree6db8b37d6eb79ee673d6c78d0a9b508883ab8c3b
parent3f6bb881c07c9bb6c2976a05bab32a98bed5cc89 (diff)
downloadabc-73789120c17bb857976ccf0b8f34a59832dfadee.tar.gz
abc-73789120c17bb857976ccf0b8f34a59832dfadee.tar.bz2
abc-73789120c17bb857976ccf0b8f34a59832dfadee.zip
Misc changes.
-rw-r--r--src/misc/util/utilNam.c4
-rw-r--r--src/misc/util/utilNam.h1
-rw-r--r--src/misc/vec/vecInt.h14
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 );