Added several new APIs.

src/misc/extra/extraUtilFile.c

@@ -185,6 +185,7 @@ char * Extra_FileNameGenericAppend( char * pBase, char * pSuffix )
 {
     static char Buffer[1000];
     char * pDot;
+    assert( strlen(pBase) + strlen(pSuffix) < 1000 );
     strcpy( Buffer, pBase );
     if ( (pDot = strrchr( Buffer, '.' )) )
         *pDot = 0;

src/misc/vec/vecInt.h

@@ -257,6 +257,24 @@ static inline Vec_Int_t * Vec_IntDupArray( Vec_Int_t * pVec )
   SeeAlso     []
 
 ***********************************************************************/
+static inline void Vec_IntErase( Vec_Int_t * p )
+{
+    p->pArray = NULL;
+    p->nSize = 0;
+    p->nCap = 0;
+}
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
 static inline void Vec_IntFree( Vec_Int_t * p )
 {
     ABC_FREE( p->pArray );