luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added several assertions.

This commit is contained in:
Alan Mishchenko 2012-08-31 15:08:05 -07:00
parent 8c0e0d7143
commit 4bef56feb9
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/map/amap/amapLiberty.c
View File

@ -179,6 +179,7 @@ char * Amap_LibertyTimeStamp()
time( &ltime );
TimeStamp = asctime( localtime( &ltime ) );
TimeStamp[ strlen(TimeStamp) - 1 ] = 0;
assert( strlen(TimeStamp) < 100 );
strcpy( Buffer, TimeStamp );
return Buffer;
}
@ -310,6 +311,7 @@ int Amap_LibertyCellCountOutputs( Amap_Tree_t * p, Amap_Item_t * pCell )
char * Amap_LibertyGetString( Amap_Tree_t * p, Amap_Pair_t Pair )
{
static char Buffer[256];
assert( Pair.End-Pair.Beg < 256 );
strncpy( Buffer, p->pContents+Pair.Beg, Pair.End-Pair.Beg );
Buffer[Pair.End-Pair.Beg] = 0;
return Buffer;
@ -329,6 +331,7 @@ char * Amap_LibertyGetString( Amap_Tree_t * p, Amap_Pair_t Pair )
char * Amap_LibertyGetStringFormula( Amap_Tree_t * p, Amap_Pair_t Pair )
{
static char Buffer[256];
assert( Pair.End-Pair.Beg-2 < 256 );
strncpy( Buffer, p->pContents+Pair.Beg+1, Pair.End-Pair.Beg-2 );
Buffer[Pair.End-Pair.Beg-2] = 0;
return Buffer;