Skip to content

A
abc
Commit 71a051f8 by Alan Mishchenko
Options

Compiler warnings.

parent fb33d69d
Showing with 3 additions and 3 deletions
src/base/abci/abcFx.c
...@@ -8,9 +8,9 @@ ...@@ -8,9 +8,9 @@
Synopsis [Implementation of traditional "fast_extract" algorithm.] Synopsis [Implementation of traditional "fast_extract" algorithm.]
Author [Alan Mishchenko] Author [Alan Mishchenko, Bruno Schmitt]
Affiliation [UC Berkeley] Affiliation [UC Berkeley, UFRGS]
Date [Ver. 1.0. Started - April 26, 2013.] Date [Ver. 1.0. Started - April 26, 2013.]
...@@ -963,7 +963,7 @@ void Fx_ManFindCommonPairs( Vec_Wec_t * vCubes, Vec_Int_t * vPart0, Vec_Int_t * ...@@ -963,7 +963,7 @@ void Fx_ManFindCommonPairs( Vec_Wec_t * vCubes, Vec_Int_t * vPart0, Vec_Int_t *
***********************************************************************/ ***********************************************************************/
void Fx_ManUpdate( Fx_Man_t * p, int iDiv, int * fWarning ) void Fx_ManUpdate( Fx_Man_t * p, int iDiv, int * fWarning )
{ {
Vec_Int_t * vCube, * vCube2, * vLitP, * vLitN; Vec_Int_t * vCube, * vCube2, * vLitP = NULL, * vLitN = NULL;
Vec_Int_t * vDiv = p->vDiv; Vec_Int_t * vDiv = p->vDiv;
int i, k, Lit0, Lit1, iVarNew = 0, RetValue, Level; int i, k, Lit0, Lit1, iVarNew = 0, RetValue, Level;
float Diff = Vec_FltEntry(p->vWeights, iDiv) - (float)((int)Vec_FltEntry(p->vWeights, iDiv)); float Diff = Vec_FltEntry(p->vWeights, iDiv) - (float)((int)Vec_FltEntry(p->vWeights, iDiv));
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment