From 993c2027d8c250e07996dfda2f11fe6eecb46f15 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 31 Mar 2012 16:33:22 -0700
Subject: Added several new APIs.

---
 src/misc/extra/extraUtilFile.c |  1 +
 src/misc/vec/vecInt.h          | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+)

(limited to 'src/misc')

diff --git a/src/misc/extra/extraUtilFile.c b/src/misc/extra/extraUtilFile.c
index 5f905814..9f73a5f1 100644
--- a/src/misc/extra/extraUtilFile.c
+++ b/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;
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h
index 4422fc85..fe6e98dd 100644
--- a/src/misc/vec/vecInt.h
+++ b/src/misc/vec/vecInt.h
@@ -246,6 +246,24 @@ static inline Vec_Int_t * Vec_IntDupArray( Vec_Int_t * pVec )
     return p;
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+static inline void Vec_IntErase( Vec_Int_t * p )
+{
+    p->pArray = NULL;
+    p->nSize = 0;
+    p->nCap = 0;
+}
+
 /**Function*************************************************************
 
   Synopsis    []
-- 
cgit v1.2.3