summaryrefslogtreecommitdiffstats
path: root/src/base/abci
diff options
context:
space:
mode:
Diffstat (limited to 'src/base/abci')
-rw-r--r--src/base/abci/abc.c34
-rw-r--r--src/base/abci/abcBm.c8
-rw-r--r--src/base/abci/abcCascade.c2
-rw-r--r--src/base/abci/abcDar.c6
-rw-r--r--src/base/abci/abcIf.c2
-rw-r--r--src/base/abci/abcLog.c4
-rw-r--r--src/base/abci/abcLutmin.c2
-rw-r--r--src/base/abci/abcPrint.c7
-rw-r--r--src/base/abci/abcScorr.c2
9 files changed, 33 insertions, 34 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 27f9476f..e15b7402 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -2248,7 +2248,7 @@ usage:
***********************************************************************/
int Abc_CommandPrintStatus( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
int c;
// set defaults
Extra_UtilGetoptReset();
@@ -2420,7 +2420,7 @@ int Abc_CommandShowBdd( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_Print( -1, "Cannot find node \"%s\".\n", argv[globalUtilOptind] );
return 1;
}
- }
+ }
Abc_NodeShowBdd( pNode );
return 0;
@@ -5805,7 +5805,7 @@ usage:
***********************************************************************/
int Abc_CommandZeroPo( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc), * pNtkRes = NULL;
+ Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);//, * pNtkRes = NULL;
int c, iOutput = -1;
extern void Abc_NtkDropOneOutput( Abc_Ntk_t * pNtk, int iOutput );
@@ -5956,7 +5956,7 @@ usage:
***********************************************************************/
int Abc_CommandRemovePo( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc), * pNtkRes = NULL;
+ Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);//, * pNtkRes = NULL;
int c, iOutput = -1;
extern void Abc_NtkRemovePo( Abc_Ntk_t * pNtk, int iOutput );
@@ -8118,11 +8118,11 @@ usage:
***********************************************************************/
int Abc_CommandGen( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
int c;
int nVars; // the number of variables
- int nLutSize; // the size of LUTs
- int nLuts; // the number of LUTs
+ int nLutSize = -1; // the size of LUTs
+ int nLuts = -1; // the number of LUTs
int fAdder;
int fSorter;
int fMesh;
@@ -11533,7 +11533,7 @@ usage:
***********************************************************************/
int Abc_CommandFraigClean( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
int c;
int fDuplicate;
// set defaults
@@ -11972,7 +11972,7 @@ usage:
***********************************************************************/
int Abc_CommandRecStop( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
int c;
// set defaults
Extra_UtilGetoptReset();
@@ -12065,7 +12065,7 @@ usage:
***********************************************************************/
int Abc_CommandRecPs( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
int c, fPrintLib = 0;
// set defaults
Extra_UtilGetoptReset();
@@ -12162,7 +12162,7 @@ usage:
***********************************************************************/
int Abc_CommandRecFilter( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
int c, nLimit = 0;
// set defaults
Extra_UtilGetoptReset();
@@ -26065,7 +26065,7 @@ usage:
***********************************************************************/
int Abc_CommandAbc9AbsRefine( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Gia_Man_t * pTemp = NULL;
+// Gia_Man_t * pTemp = NULL;
int c;
int nFfToAddMax = 0;
int fTryFour = 1;
@@ -27141,8 +27141,8 @@ usage:
***********************************************************************/
int Abc_CommandAbc9ReachM( Abc_Frame_t * pAbc, int argc, char ** argv )
{
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
Gia_ParLlb_t Pars, * pPars = &Pars;
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
char * pLogFileName = NULL;
int c;
extern int Llb_ManModelCheckGia( Gia_Man_t * pGia, Gia_ParLlb_t * pPars );
@@ -27320,8 +27320,8 @@ usage:
***********************************************************************/
int Abc_CommandAbc9ReachP( Abc_Frame_t * pAbc, int argc, char ** argv )
{
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
Gia_ParLlb_t Pars, * pPars = &Pars;
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
Aig_Man_t * pMan;
char * pLogFileName = NULL;
int c;
@@ -27470,8 +27470,8 @@ usage:
***********************************************************************/
int Abc_CommandAbc9ReachN( Abc_Frame_t * pAbc, int argc, char ** argv )
{
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
Gia_ParLlb_t Pars, * pPars = &Pars;
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
Aig_Man_t * pMan;
char * pLogFileName = NULL;
int c;
@@ -27600,8 +27600,8 @@ usage:
***********************************************************************/
int Abc_CommandAbc9ReachY( Abc_Frame_t * pAbc, int argc, char ** argv )
{
+// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
Gia_ParLlb_t Pars, * pPars = &Pars;
- Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
Aig_Man_t * pMan;
char * pLogFileName = NULL;
int c;
@@ -27801,7 +27801,7 @@ usage:
***********************************************************************/
int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv )
{
- Gia_Man_t * pTemp = NULL;
+// Gia_Man_t * pTemp = NULL;
int c, fVerbose = 0;
int fSwitch = 0;
// extern Gia_Man_t * Gia_VtaTest( Gia_Man_t * p );
diff --git a/src/base/abci/abcBm.c b/src/base/abci/abcBm.c
index 3a8567fe..d2f80aeb 100644
--- a/src/base/abci/abcBm.c
+++ b/src/base/abci/abcBm.c
@@ -462,7 +462,7 @@ int * Abc_NtkSimulateOneNode( Abc_Ntk_t * pNtk, int * pModel, int input, Vec_Ptr
// set the CI values
Abc_AigConst1(pNtk)->pCopy = (Abc_Obj_t *)1;
pNode = Abc_NtkCi(pNtk, input);
- pNode->pCopy = (Abc_Obj_t *)pModel[input];
+ pNode->iTemp = pModel[input];
// simulate in the topological order
for(i = Vec_PtrSize(topOrder[input])-1; i >= 0; i--)
@@ -472,9 +472,9 @@ int * Abc_NtkSimulateOneNode( Abc_Ntk_t * pNtk, int * pModel, int input, Vec_Ptr
Value0 = ((int)(ABC_PTRUINT_T)Abc_ObjFanin0(pNode)->pCopy) ^ Abc_ObjFaninC0(pNode);
Value1 = ((int)(ABC_PTRUINT_T)Abc_ObjFanin1(pNode)->pCopy) ^ Abc_ObjFaninC1(pNode);
- if( pNode->pCopy != (Abc_Obj_t *)(Value0 & Value1))
+ if( pNode->iTemp != (Value0 & Value1))
{
- pNode->pCopy = (Abc_Obj_t *)(Value0 & Value1);
+ pNode->iTemp = (Value0 & Value1);
Vec_PtrPush(vNodes, pNode);
}
@@ -846,7 +846,7 @@ void Abc_NtkVerifyReportError( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int * pMode
vNodes = Abc_NtkNodeSupport( pNtk1, &pNode, 1 );
// set the PI numbers
Abc_NtkForEachCi( pNtk1, pNode, i )
- pNode->pCopy = (Abc_Obj_t *)i;
+ pNode->iTemp = i;
// print the model
pNode = (Abc_Obj_t *)Vec_PtrEntry( vNodes, 0 );
if ( Abc_ObjIsCi(pNode) )
diff --git a/src/base/abci/abcCascade.c b/src/base/abci/abcCascade.c
index a477077d..60f7294f 100644
--- a/src/base/abci/abcCascade.c
+++ b/src/base/abci/abcCascade.c
@@ -874,7 +874,7 @@ DdNode * Abc_NtkBddDecCharFunc( DdManager * dd, DdNode ** pFuncs, int nOuts, int
***********************************************************************/
DdNode * Abc_NtkBddDecTry( reo_man * pReo, DdManager * dd, DdNode ** pFuncs, int nIns, int nOuts, int Mask, int nBits )
{
- int fReorder = 0;
+// int fReorder = 0;
DdNode * bFunc;//, * aFunc, * aFuncNew;
// derive the characteristic function
bFunc = Abc_NtkBddDecCharFunc( dd, pFuncs, nOuts, Mask, nBits ); Cudd_Ref( bFunc );
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index 6b8cd378..d54092f9 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -1174,9 +1174,9 @@ Abc_Ntk_t * Abc_NtkConstructFromCnf( Abc_Ntk_t * pNtk, Cnf_Man_t * p, Vec_Ptr_t
***********************************************************************/
Abc_Ntk_t * Abc_NtkDarToCnf( Abc_Ntk_t * pNtk, char * pFileName, int fFastAlgo, int fChangePol, int fVerbose )
{
- Vec_Ptr_t * vMapped = NULL;
+// Vec_Ptr_t * vMapped = NULL;
Aig_Man_t * pMan;
- Cnf_Man_t * pManCnf = NULL;
+// Cnf_Man_t * pManCnf = NULL;
Cnf_Dat_t * pCnf;
Abc_Ntk_t * pNtkNew = NULL;
int clk = clock();
@@ -1888,7 +1888,7 @@ int Abc_NtkDarBmc3( Abc_Ntk_t * pNtk, Saig_ParBmc_t * pPars )
***********************************************************************/
int Abc_NtkDarBmcInter_int( Aig_Man_t * pMan, Inter_ManParams_t * pPars, Aig_Man_t ** ppNtkRes )
{
- int RetValue, iFrame, clk = clock();
+ int RetValue = -1, iFrame, clk = clock();
int nTotalProvedSat = 0;
assert( pMan->nRegs > 0 );
if ( ppNtkRes )
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c
index ded34d3c..2d6915e4 100644
--- a/src/base/abci/abcIf.c
+++ b/src/base/abci/abcIf.c
@@ -358,7 +358,7 @@ Abc_Ntk_t * Abc_NtkFromIf( If_Man_t * pIfMan, Abc_Ntk_t * pNtk )
Hop_Obj_t * Abc_NodeTruthToHopInt( Hop_Man_t * pMan, Vec_Wrd_t * vAnds, int nVars )
{
Vec_Ptr_t * vResults;
- Hop_Obj_t * pRes0, * pRes1, * pRes;
+ Hop_Obj_t * pRes0, * pRes1, * pRes = NULL;
If_And_t This;
word Entry;
int i;
diff --git a/src/base/abci/abcLog.c b/src/base/abci/abcLog.c
index aa926a41..d2dddaa2 100644
--- a/src/base/abci/abcLog.c
+++ b/src/base/abci/abcLog.c
@@ -134,7 +134,7 @@ int Abc_NtkReadLogFile( char * pFileName, Abc_Cex_t ** ppCex, int * pnFrames )
FILE * pFile;
Abc_Cex_t * pCex;
Vec_Int_t * vNums;
- char Buffer[1000], * pToken;
+ char Buffer[1000], * pToken, * RetValue;
int c, nRegs = -1, nFrames = -1, iPo = -1, Status = -1, nFrames2 = -1;
pFile = fopen( pFileName, "r" );
if ( pFile == NULL )
@@ -142,7 +142,7 @@ int Abc_NtkReadLogFile( char * pFileName, Abc_Cex_t ** ppCex, int * pnFrames )
printf( "Cannot open log file for reading \"%s\".\n" , pFileName );
return -1;
}
- fgets( Buffer, 1000, pFile );
+ RetValue = fgets( Buffer, 1000, pFile );
if ( !strncmp( Buffer, "snl_UNSAT", strlen("snl_UNSAT") ) )
{
Status = 1;
diff --git a/src/base/abci/abcLutmin.c b/src/base/abci/abcLutmin.c
index d740777c..bbea264c 100644
--- a/src/base/abci/abcLutmin.c
+++ b/src/base/abci/abcLutmin.c
@@ -497,7 +497,7 @@ Abc_Obj_t * Abc_NtkBddFindCofactor( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pNode, int
Abc_Obj_t * pNodeBot, * pNodeTop;
DdManager * ddOld = (DdManager *)pNode->pNtk->pManFunc;
DdManager * ddNew = (DdManager *)pNtkNew->pManFunc;
- DdNode * bCof0, * bCof1, * bSupp, * bTemp, * bVar;
+ DdNode * bCof0 = NULL, * bCof1 = NULL, * bSupp, * bTemp, * bVar;
DdNode * bCof0n, * bCof1n;
int i, iCof, iFreeVar, fCof1Smaller = -1;
assert( Abc_ObjFaninNum(pNode) == nLutSize + 1 );
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c
index 01e0a093..a3a12b71 100644
--- a/src/base/abci/abcPrint.c
+++ b/src/base/abci/abcPrint.c
@@ -372,7 +372,6 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum
}
-/*
s_TotalNodes += Abc_NtkNodeNum(pNtk);
printf( "Total nodes = %6d %6.2f Mb Changes = %6d.\n",
s_TotalNodes, s_TotalNodes * 20.0 / (1<<20), s_TotalChanges );
@@ -1301,7 +1300,7 @@ void Abc_NtkPrintMiter( Abc_Ntk_t * pNtk )
Time = clock() - Time;
printf(" %7.2f sec\n", (float)(Time)/(float)(CLOCKS_PER_SEC));
if ( iOut >= 0 )
- printf( "The first satisfiable output is number %d (%d).\n", iOut, Abc_ObjName( Abc_NtkPo(pNtk, iOut) ) );
+ printf( "The first satisfiable output is number %d (%s).\n", iOut, Abc_ObjName( Abc_NtkPo(pNtk, iOut) ) );
}
@@ -1486,12 +1485,12 @@ void Abc_NtkShow6VarFunc( char * pF0, char * pF1 )
word F0, F1;
if ( strlen(pF0) != 16 )
{
- printf( "Wrong length (%d) of 6-var truth table (%s).\n", strlen(pF0), pF0 );
+ printf( "Wrong length (%d) of 6-var truth table.\n", strlen(pF0) );
return;
}
if ( strlen(pF1) != 16 )
{
- printf( "Wrong length (%d) of 6-var truth table (%s).\n", strlen(pF1), pF1 );
+ printf( "Wrong length (%d) of 6-var truth table.\n", strlen(pF1) );
return;
}
Extra_ReadHexadecimal( (unsigned *)&F0, pF0, 6 );
diff --git a/src/base/abci/abcScorr.c b/src/base/abci/abcScorr.c
index e7683edf..60199b33 100644
--- a/src/base/abci/abcScorr.c
+++ b/src/base/abci/abcScorr.c
@@ -326,7 +326,7 @@ Abc_Ntk_t * Abc_NtkTestScorr( char * pFileNameIn, char * pFileNameOut, int nStep
Abc_Ntk_t * pNetlist, * pLogic, * pStrash, * pResult;
Aig_Man_t * pAig, * pTempAig;
Gia_Man_t * pGia, * pTempGia;
- int Counter = 0;
+// int Counter = 0;
// check the files
pFile = fopen( pFileNameIn, "rb" );
if ( pFile == NULL )
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 22:24:30 +0000