|
 |
d51159a |
--- src/aig/miniaig/ndr.h.orig 2019-12-17 15:57:46.000000000 -0700
|
|
|
d51159a |
+++ src/aig/miniaig/ndr.h 2019-12-18 09:47:14.076891270 -0700
|
|
|
d51159a |
@@ -496,8 +496,16 @@ static inline void Ndr_WriteVerilog( cha
|
|
|
101e1a3 |
{
|
|
|
d51159a |
Ndr_Data_t * p = (Ndr_Data_t *)pDesign; int Mod;
|
|
|
d51159a |
|
|
|
d51159a |
- FILE * pFile = pFileName ? fopen( pFileName, "wb" ) : stdout;
|
|
|
d51159a |
- if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ); return; }
|
|
|
d51159a |
+ FILE * pFile;
|
|
|
d51159a |
+ if (pFileName)
|
|
|
d51159a |
+ {
|
|
|
d51159a |
+ pFile = fopen( pFileName, "wb" );
|
|
|
d51159a |
+ if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ); return; }
|
|
|
d51159a |
+ }
|
|
|
d51159a |
+ else
|
|
|
d51159a |
+ {
|
|
|
d51159a |
+ pFile = stdout;
|
|
|
d51159a |
+ }
|
|
|
101e1a3 |
|
|
|
d51159a |
Ndr_DesForEachMod( p, Mod )
|
|
|
d51159a |
Ndr_WriteVerilogModule( pFile, p, Mod, pNames );
|
|
|
d51159a |
--- src/base/abci/abcMiter.c.orig 2019-12-17 15:57:46.000000000 -0700
|
|
|
d51159a |
+++ src/base/abci/abcMiter.c 2019-12-18 09:44:30.567338848 -0700
|
|
|
d51159a |
@@ -863,7 +863,7 @@ void Abc_NtkAddFrame( Abc_Ntk_t * pNtkFr
|
|
|
101e1a3 |
{
|
|
|
101e1a3 |
int fVerbose = 0;
|
|
|
101e1a3 |
int NodeBef = Abc_NtkNodeNum(pNtkFrames);
|
|
|
101e1a3 |
- char Buffer[10];
|
|
|
101e1a3 |
+ char Buffer[12];
|
|
|
101e1a3 |
Abc_Obj_t * pNode, * pLatch;
|
|
|
101e1a3 |
int i;
|
|
|
101e1a3 |
// create the prefix to be added to the node names
|
|
|
d51159a |
--- src/base/io/ioReadBlifMv.c.orig 2019-12-18 09:43:13.388550105 -0700
|
|
|
d51159a |
+++ src/base/io/ioReadBlifMv.c 2019-12-18 09:43:30.483503314 -0700
|
|
|
d51159a |
@@ -1626,7 +1626,7 @@ static int Io_MvParseLineMv( Io_MvMod_t
|
|
|
d51159a |
***********************************************************************/
|
|
|
d51159a |
static int Io_MvWriteValues( Abc_Obj_t * pNode, Vec_Str_t * vFunc )
|
|
|
d51159a |
{
|
|
|
d51159a |
- char Buffer[10];
|
|
|
d51159a |
+ char Buffer[12];
|
|
|
d51159a |
Abc_Obj_t * pFanin;
|
|
|
d51159a |
int i;
|
|
|
d51159a |
// add the fanin number of values
|
|
|
101e1a3 |
@@ -1656,7 +1656,7 @@ static int Io_MvWriteValues( Abc_Obj_t *
|
|
|
101e1a3 |
***********************************************************************/
|
|
|
101e1a3 |
static int Io_MvParseLiteralMv( Io_MvMod_t * p, Abc_Obj_t * pNode, char * pToken, Vec_Str_t * vFunc, int iLit )
|
|
|
101e1a3 |
{
|
|
|
101e1a3 |
- char Buffer[10];
|
|
|
101e1a3 |
+ char Buffer[12];
|
|
|
101e1a3 |
Io_MvVar_t * pVar;
|
|
|
101e1a3 |
Abc_Obj_t * pFanin, * pNet;
|
|
|
101e1a3 |
char * pCur, * pNext;
|
|
|
d51159a |
--- src/base/wlc/wlcNdr.c.orig 2019-12-17 15:57:46.000000000 -0700
|
|
|
d51159a |
+++ src/base/wlc/wlcNdr.c 2019-12-18 08:43:25.865457806 -0700
|
|
|
d51159a |
@@ -487,7 +487,7 @@ Wlc_Ntk_t * Wlc_NtkFromNdr( void * pData
|
|
|
101e1a3 |
pNtk->pManName = Abc_NamStart( NameIdMax+1, 10 );
|
|
|
101e1a3 |
for ( i = 1; i <= NameIdMax; i++ )
|
|
|
101e1a3 |
{
|
|
|
101e1a3 |
- char pName[20]; sprintf( pName, "s%0*d", nDigits, i );
|
|
|
101e1a3 |
+ char pName[20]; snprintf( pName, 20U, "s%0*d", nDigits, i );
|
|
|
101e1a3 |
NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound );
|
|
|
101e1a3 |
assert( !fFound && i == NameId );
|
|
|
101e1a3 |
}
|
|
|
d51159a |
--- src/base/wln/wlnNdr.c.orig 2019-12-17 15:57:46.000000000 -0700
|
|
|
d51159a |
+++ src/base/wln/wlnNdr.c 2019-12-18 08:43:25.866457804 -0700
|
|
|
101e1a3 |
@@ -256,7 +256,7 @@ Wln_Ntk_t * Wln_NtkFromNdr( void * pData
|
|
|
101e1a3 |
pNtk->pManName = Abc_NamStart( NameIdMax+1, 10 );
|
|
|
101e1a3 |
for ( i = 1; i <= NameIdMax; i++ )
|
|
|
101e1a3 |
{
|
|
|
101e1a3 |
- char pName[20]; sprintf( pName, "s%0*d", nDigits, i );
|
|
|
101e1a3 |
+ char pName[20]; snprintf( pName, 20U, "s%0*d", nDigits, i );
|
|
|
101e1a3 |
NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound );
|
|
|
101e1a3 |
assert( !fFound && i == NameId );
|
|
|
101e1a3 |
}
|
|
|
d51159a |
--- src/opt/dau/dauMerge.c.orig 2019-12-17 15:57:46.000000000 -0700
|
|
|
d51159a |
+++ src/opt/dau/dauMerge.c 2019-12-18 09:48:48.630632559 -0700
|
|
|
101e1a3 |
@@ -715,7 +715,7 @@ Dau_DsdMergeStorePrintDefs( pS );
|
|
|
101e1a3 |
|
|
|
101e1a3 |
// create new function
|
|
|
101e1a3 |
// assert( nVarsTotal <= 6 );
|
|
|
101e1a3 |
- sprintf( pS->pOutput, "(%s%s)", pDsd0, pDsd1 );
|
|
|
101e1a3 |
+ snprintf( pS->pOutput, DAU_MAX_STR, "(%s%s)", pDsd0, pDsd1 );
|
|
|
101e1a3 |
pTruth = Dau_DsdToTruth( pS->pOutput, nVarsTotal );
|
|
|
101e1a3 |
Status = Dau_DsdDecompose( pTruth, nVarsTotal, 0, 1, pS->pOutput );
|
|
|
101e1a3 |
//printf( "%d ", Status );
|
|
|
d51159a |
--- src/proof/fra/fraCore.c.orig 2019-12-17 15:57:46.000000000 -0700
|
|
|
d51159a |
+++ src/proof/fra/fraCore.c 2019-12-18 09:50:22.838375767 -0700
|
|
|
d51159a |
@@ -163,7 +163,7 @@ static inline void Fra_FraigNodeSpeculat
|
|
|
d51159a |
// create manager with the logic for these two nodes
|
|
|
d51159a |
pTemp = Aig_ManExtractMiter( p->pManFraig, pObjFraig, pObjReprFraig );
|
|
|
d51159a |
// dump the logic into a file
|
|
|
d51159a |
- sprintf( FileName, "aig\\%03d.blif", ++Counter );
|
|
|
d51159a |
+ snprintf( FileName, 20U, "aig\\%03d.blif", ++Counter );
|
|
|
d51159a |
Aig_ManDumpBlif( pTemp, FileName, NULL, NULL );
|
|
|
d51159a |
printf( "Speculation cone with %d nodes was written into file \"%s\".\n", Aig_ManNodeNum(pTemp), FileName );
|
|
|
d51159a |
// clean up
|