rpms/abc
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
This repository has been archived on 2026-01-16. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
abc/abc-format.patch
Jerry James c3b63ec8c9 Update to latest git snapshot. 
- Add patches: -strict-aliasing, -overflow.
- Avoid bogus rpaths.
2021-04-01 09:05:43 -06:00

226 lines
11 KiB
Diff
Raw Permalink Blame History

--- src/aig/miniaig/ndr.h.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/aig/miniaig/ndr.h 2021-03-31 09:29:26.418031142 -0600
@@ -496,8 +496,16 @@ static inline void Ndr_WriteVerilog( cha
{
Ndr_Data_t * p = (Ndr_Data_t *)pDesign; int Mod;
- FILE * pFile = pFileName ? fopen( pFileName, "wb" ) : stdout;
- if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ); return; }
+ FILE * pFile;
+ if (pFileName)
+ {
+ pFile = fopen( pFileName, "wb" );
+ if ( pFile == NULL ) { printf( "Cannot open file \"%s\" for writing.\n", pFileName ); return; }
+ }
+ else
+ {
+ pFile = stdout;
+ }
Ndr_DesForEachMod( p, Mod )
Ndr_WriteVerilogModule( pFile, p, Mod, pNames );
--- src/aig/saig/saigIoa.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/aig/saig/saigIoa.c 2021-03-31 09:36:36.926608970 -0600
@@ -47,15 +47,15 @@ char * Saig_ObjName( Aig_Man_t * p, Aig_
{
static char Buffer[16];
if ( Aig_ObjIsNode(pObj) || Aig_ObjIsConst1(pObj) )
- sprintf( Buffer, "n%0*d", Abc_Base10Log(Aig_ManObjNumMax(p)), Aig_ObjId(pObj) );
+ snprintf( Buffer, 16, "n%0*d", Abc_Base10Log(Aig_ManObjNumMax(p)), Aig_ObjId(pObj) );
else if ( Saig_ObjIsPi(p, pObj) )
- sprintf( Buffer, "pi%0*d", Abc_Base10Log(Saig_ManPiNum(p)), Aig_ObjCioId(pObj) );
+ snprintf( Buffer, 16, "pi%0*d", Abc_Base10Log(Saig_ManPiNum(p)), Aig_ObjCioId(pObj) );
else if ( Saig_ObjIsPo(p, pObj) )
- sprintf( Buffer, "po%0*d", Abc_Base10Log(Saig_ManPoNum(p)), Aig_ObjCioId(pObj) );
+ snprintf( Buffer, 16, "po%0*d", Abc_Base10Log(Saig_ManPoNum(p)), Aig_ObjCioId(pObj) );
else if ( Saig_ObjIsLo(p, pObj) )
- sprintf( Buffer, "lo%0*d", Abc_Base10Log(Saig_ManRegNum(p)), Aig_ObjCioId(pObj) - Saig_ManPiNum(p) );
+ snprintf( Buffer, 16, "lo%0*d", Abc_Base10Log(Saig_ManRegNum(p)), Aig_ObjCioId(pObj) - Saig_ManPiNum(p) );
else if ( Saig_ObjIsLi(p, pObj) )
- sprintf( Buffer, "li%0*d", Abc_Base10Log(Saig_ManRegNum(p)), Aig_ObjCioId(pObj) - Saig_ManPoNum(p) );
+ snprintf( Buffer, 16, "li%0*d", Abc_Base10Log(Saig_ManRegNum(p)), Aig_ObjCioId(pObj) - Saig_ManPoNum(p) );
else
assert( 0 );
return Buffer;
--- src/base/abci/abc.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/base/abci/abc.c 2021-03-31 09:33:02.855819044 -0600
@@ -30623,7 +30623,7 @@ int Abc_CommandAbc9Put( Abc_Frame_t * pA
else
{
assert( i >= Abc_NtkPoNum(pNtk) );
- sprintf( pSuffix, "_li%0*d", nDigits, i-Abc_NtkPoNum(pNtk) );
+ snprintf( pSuffix, 100, "_li%0*d", nDigits, i-Abc_NtkPoNum(pNtk) );
Abc_ObjAssignName( pObj, (char *)Vec_PtrEntry(pAbc->pGia->vNamesOut, i), pSuffix );
}
}
@@ -42868,7 +42868,7 @@ int Abc_CommandAbc9Cone( Abc_Frame_t * p
Gia_ManForEachPo( pAbc->pGia, pObj, i )
{
Gia_Man_t * pOne = Gia_ManDupDfsCone( pAbc->pGia, pObj );
- sprintf( Buffer, "%s_%0*d.aig", Extra_FileNameGeneric(pAbc->pGia->pSpec), nDigits, i );
+ snprintf( Buffer, 1000, "%s_%0*d.aig", Extra_FileNameGeneric(pAbc->pGia->pSpec), nDigits, i );
Gia_AigerWrite( pOne, Buffer, 0, 0, 0 );
Gia_ManStop( pOne );
}
--- src/base/abci/abcMiter.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/base/abci/abcMiter.c 2021-03-31 09:29:26.419031141 -0600
@@ -863,7 +863,7 @@ void Abc_NtkAddFrame( Abc_Ntk_t * pNtkFr
{
int fVerbose = 0;
int NodeBef = Abc_NtkNodeNum(pNtkFrames);
- char Buffer[10];
+ char Buffer[12];
Abc_Obj_t * pNode, * pLatch;
int i;
// create the prefix to be added to the node names
--- src/base/io/ioReadBlifMv.c.orig 2021-03-31 09:51:35.257716654 -0600
+++ src/base/io/ioReadBlifMv.c 2021-03-31 09:51:55.691695924 -0600
@@ -1626,7 +1626,7 @@ static int Io_MvParseLineMv( Io_MvMod_t
***********************************************************************/
static int Io_MvWriteValues( Abc_Obj_t * pNode, Vec_Str_t * vFunc )
{
- char Buffer[10];
+ char Buffer[12];
Abc_Obj_t * pFanin;
int i;
// add the fanin number of values
@@ -1656,7 +1656,7 @@ static int Io_MvWriteValues( Abc_Obj_t *
***********************************************************************/
static int Io_MvParseLiteralMv( Io_MvMod_t * p, Abc_Obj_t * pNode, char * pToken, Vec_Str_t * vFunc, int iLit )
{
- char Buffer[10];
+ char Buffer[12];
Io_MvVar_t * pVar;
Abc_Obj_t * pFanin, * pNet;
char * pCur, * pNext;
--- src/base/io/ioReadPla.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/base/io/ioReadPla.c 2021-03-31 09:32:18.454862614 -0600
@@ -448,7 +448,7 @@ Abc_Ntk_t * Io_ReadPlaNetwork( Extra_Fil
nDigits = Abc_Base10Log( nInputs );
for ( i = 0; i < nInputs; i++ )
{
- sprintf( Buffer, "x%0*d", nDigits, i );
+ snprintf( Buffer, 100, "x%0*d", nDigits, i );
Io_ReadCreatePi( pNtk, Buffer );
}
}
@@ -465,7 +465,7 @@ Abc_Ntk_t * Io_ReadPlaNetwork( Extra_Fil
nDigits = Abc_Base10Log( nOutputs );
for ( i = 0; i < nOutputs; i++ )
{
- sprintf( Buffer, "z%0*d", nDigits, i );
+ snprintf( Buffer, 100, "z%0*d", nDigits, i );
Io_ReadCreatePo( pNtk, Buffer );
}
}
--- src/base/wlc/wlcNdr.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/base/wlc/wlcNdr.c 2021-03-31 09:29:26.420031140 -0600
@@ -487,7 +487,7 @@ Wlc_Ntk_t * Wlc_NtkFromNdr( void * pData
pNtk->pManName = Abc_NamStart( NameIdMax+1, 10 );
for ( i = 1; i <= NameIdMax; i++ )
{
- char pName[20]; sprintf( pName, "s%0*d", nDigits, i );
+ char pName[20]; snprintf( pName, 20U, "s%0*d", nDigits, i );
NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound );
assert( !fFound && i == NameId );
}
--- src/base/wlc/wlcNtk.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/base/wlc/wlcNtk.c 2021-03-31 09:34:20.110743240 -0600
@@ -1300,7 +1300,7 @@ void Wlc_NtkShortNames( Wlc_Ntk_t * p )
{
if ( Wlc_ObjIsPo(pObj) )
continue;
- sprintf( pBuffer, "%s%0*d", "fi", nDigits, i - Wlc_NtkPoNum(p) );
+ snprintf( pBuffer, 100, "%s%0*d", "fi", nDigits, i - Wlc_NtkPoNum(p) );
NameId = Abc_NamStrFindOrAdd( p->pManName, pBuffer, &fFound );
Wlc_ObjSetNameId( p, Wlc_ObjId(p, pObj), NameId );
}
@@ -1308,21 +1308,21 @@ void Wlc_NtkShortNames( Wlc_Ntk_t * p )
{
if ( Wlc_ObjIsPi(pObj) )
continue;
- sprintf( pBuffer, "%s%0*d", "fo", nDigits, i - Wlc_NtkPiNum(p) );
+ snprintf( pBuffer, 100, "%s%0*d", "fo", nDigits, i - Wlc_NtkPiNum(p) );
NameId = Abc_NamStrFindOrAdd( p->pManName, pBuffer, &fFound );
Wlc_ObjSetNameId( p, Wlc_ObjId(p, pObj), NameId );
}
nDigits = Abc_Base10Log( Wlc_NtkPoNum(p) );
Wlc_NtkForEachPo( p, pObj, i )
{
- sprintf( pBuffer, "%s%0*d", "po", nDigits, i );
+ snprintf( pBuffer, 100, "%s%0*d", "po", nDigits, i );
NameId = Abc_NamStrFindOrAdd( p->pManName, pBuffer, &fFound );
Wlc_ObjSetNameId( p, Wlc_ObjId(p, pObj), NameId );
}
nDigits = Abc_Base10Log( Wlc_NtkPiNum(p) );
Wlc_NtkForEachPi( p, pObj, i )
{
- sprintf( pBuffer, "%s%0*d", "pi", nDigits, i );
+ snprintf( pBuffer, 100, "%s%0*d", "pi", nDigits, i );
NameId = Abc_NamStrFindOrAdd( p->pManName, pBuffer, &fFound );
Wlc_ObjSetNameId( p, Wlc_ObjId(p, pObj), NameId );
}
@@ -1331,7 +1331,7 @@ void Wlc_NtkShortNames( Wlc_Ntk_t * p )
{
if ( Wlc_ObjIsCi(pObj) || Wlc_ObjIsCo(pObj) )
continue;
- sprintf( pBuffer, "%s%0*d", "n", nDigits, i );
+ snprintf( pBuffer, 100, "%s%0*d", "n", nDigits, i );
NameId = Abc_NamStrFindOrAdd( p->pManName, pBuffer, &fFound );
Wlc_ObjSetNameId( p, Wlc_ObjId(p, pObj), NameId );
}
--- src/base/wln/wlnNdr.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/base/wln/wlnNdr.c 2021-03-31 09:29:26.420031140 -0600
@@ -256,7 +256,7 @@ Wln_Ntk_t * Wln_NtkFromNdr( void * pData
pNtk->pManName = Abc_NamStart( NameIdMax+1, 10 );
for ( i = 1; i <= NameIdMax; i++ )
{
- char pName[20]; sprintf( pName, "s%0*d", nDigits, i );
+ char pName[20]; snprintf( pName, 20U, "s%0*d", nDigits, i );
NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound );
assert( !fFound && i == NameId );
}
--- src/map/mio/mioUtils.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/map/mio/mioUtils.c 2021-03-31 09:34:48.486715391 -0600
@@ -1711,7 +1711,7 @@ void Mio_LibraryShortNames( Mio_Library_
Mio_LibraryForEachGate( pLib, pGate )
{
ABC_FREE( pGate->pName );
- sprintf( Buffer, "g%0*d", nDigits, ++c );
+ snprintf( Buffer, 10000, "g%0*d", nDigits, ++c );
pGate->pName = Abc_UtilStrsav( Buffer );
// update formula
Mio_LibraryShortFormula( pGate, pGate->pForm, Buffer );
--- src/map/scl/sclLibUtil.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/map/scl/sclLibUtil.c 2021-03-31 09:35:12.574691754 -0600
@@ -203,7 +203,7 @@ void Abc_SclShortNames( SC_Lib * p )
SC_RingForEachCell( pClass, pCell, k )
{
ABC_FREE( pCell->pName );
- sprintf( Buffer, "g%0*d_%0*d", nDigits, i, nDigits2, k );
+ snprintf( Buffer, 10000, "g%0*d_%0*d", nDigits, i, nDigits2, k );
pCell->pName = Abc_UtilStrsav( Buffer );
// formula
SC_CellForEachPinOut( pCell, pPin, n )
--- src/opt/dau/dauMerge.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/opt/dau/dauMerge.c 2021-03-31 09:29:26.421031139 -0600
@@ -715,7 +715,7 @@ Dau_DsdMergeStorePrintDefs( pS );
// create new function
// assert( nVarsTotal <= 6 );
- sprintf( pS->pOutput, "(%s%s)", pDsd0, pDsd1 );
+ snprintf( pS->pOutput, DAU_MAX_STR, "(%s%s)", pDsd0, pDsd1 );
pTruth = Dau_DsdToTruth( pS->pOutput, nVarsTotal );
Status = Dau_DsdDecompose( pTruth, nVarsTotal, 0, 1, pS->pOutput );
//printf( "%d ", Status );
--- src/proof/fra/fraCore.c.orig 2021-03-28 19:40:27.000000000 -0600
+++ src/proof/fra/fraCore.c 2021-03-31 09:29:26.421031139 -0600
@@ -163,7 +163,7 @@ static inline void Fra_FraigNodeSpeculat
// create manager with the logic for these two nodes
pTemp = Aig_ManExtractMiter( p->pManFraig, pObjFraig, pObjReprFraig );
// dump the logic into a file
- sprintf( FileName, "aig\\%03d.blif", ++Counter );
+ snprintf( FileName, 20U, "aig\\%03d.blif", ++Counter );
Aig_ManDumpBlif( pTemp, FileName, NULL, NULL );
printf( "Speculation cone with %d nodes was written into file \"%s\".\n", Aig_ManNodeNum(pTemp), FileName );
// clean up
Reference in a new issue View git blame Copy permalink