Skip to content

A
abc
Commit a8c85d79 by Alan Mishchenko
Options

Compiler warnings.

parent 2b85ef06
Showing with 2 additions and 2 deletions
src/map/if/ifDec08.c
...@@ -283,7 +283,6 @@ static inline int If_Dec08DeriveCount2( word * pF, word * pRes, int nVars ) ...@@ -283,7 +283,6 @@ static inline int If_Dec08DeriveCount2( word * pF, word * pRes, int nVars )
*pRes = ((iCof1 << nShift) | iCof0); *pRes = ((iCof1 << nShift) | iCof0);
return MaskDec; return MaskDec;
} }
*/
static inline word If_DecTruthStretch( word t, int nVars ) static inline word If_DecTruthStretch( word t, int nVars )
{ {
assert( nVars > 1 ); assert( nVars > 1 );
...@@ -299,6 +298,7 @@ static inline word If_DecTruthStretch( word t, int nVars ) ...@@ -299,6 +298,7 @@ static inline word If_DecTruthStretch( word t, int nVars )
nVars++, t = (t & 0xFFFFFFFF) | ((t & 0xFFFFFFFF) << 32); nVars++, t = (t & 0xFFFFFFFF) | ((t & 0xFFFFFFFF) << 32);
assert( nVars >= 6 ); assert( nVars >= 6 );
} }
*/
// support minimization // support minimization
static inline int If_DecSuppIsMinBase( int Supp ) static inline int If_DecSuppIsMinBase( int Supp )
......
src/map/if/ifDec10.c
...@@ -280,7 +280,6 @@ static inline int If_Dec10DeriveCount2( word * pF, word * pRes, int nVars ) ...@@ -280,7 +280,6 @@ static inline int If_Dec10DeriveCount2( word * pF, word * pRes, int nVars )
*pRes = ((iCof1 << nShift) | iCof0); *pRes = ((iCof1 << nShift) | iCof0);
return MaskDec; return MaskDec;
} }
*/
static inline word If_DecTruthStretch( word t, int nVars ) static inline word If_DecTruthStretch( word t, int nVars )
{ {
assert( nVars > 1 ); assert( nVars > 1 );
...@@ -296,6 +295,7 @@ static inline word If_DecTruthStretch( word t, int nVars ) ...@@ -296,6 +295,7 @@ static inline word If_DecTruthStretch( word t, int nVars )
nVars++, t = (t & 0xFFFFFFFF) | ((t & 0xFFFFFFFF) << 32); nVars++, t = (t & 0xFFFFFFFF) | ((t & 0xFFFFFFFF) << 32);
assert( nVars >= 6 ); assert( nVars >= 6 );
} }
*/
// support minimization // support minimization
static inline int If_DecSuppIsMinBase( int Supp ) static inline int If_DecSuppIsMinBase( int Supp )
......
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