diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-21 23:53:42 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-21 23:53:42 -0700 |
| commit | 2c37498bfb297c00e9b5eee8472acc134d9aba73 (patch) | |
| tree | 06d386b7965bae00ee474003841e35d5d7424072 /src/map | |
| parent | a07c08551db0f6d5bea8e8a442c1d2ac7dc62afd (diff) | |
| download | abc-2c37498bfb297c00e9b5eee8472acc134d9aba73.tar.gz abc-2c37498bfb297c00e9b5eee8472acc134d9aba73.tar.bz2 abc-2c37498bfb297c00e9b5eee8472acc134d9aba73.zip | |
Compiler warnings.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/if.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 55f28fab..8a4e7395 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -421,9 +421,9 @@ static inline void If_CutSetDataInt( If_Cut_t * pCut, int Data ) { * static inline int If_CutTruthLit( If_Cut_t * pCut ) { assert( pCut->iCutFunc >= 0 ); return pCut->iCutFunc; } static inline int If_CutTruthIsCompl( If_Cut_t * pCut ) { assert( pCut->iCutFunc >= 0 ); return Abc_LitIsCompl(pCut->iCutFunc); } -static inline word * If_CutTruthWR( If_Man_t * p, If_Cut_t * pCut ) { return p->vTtMem ? Vec_MemReadEntry(p->vTtMem[pCut->nLeaves], Abc_Lit2Var(pCut->iCutFunc)) : NULL; } +static inline word * If_CutTruthWR( If_Man_t * p, If_Cut_t * pCut ) { return p->vTtMem[pCut->nLeaves] ? Vec_MemReadEntry(p->vTtMem[pCut->nLeaves], Abc_Lit2Var(pCut->iCutFunc)) : NULL; } static inline unsigned * If_CutTruthUR( If_Man_t * p, If_Cut_t * pCut) { return (unsigned *)If_CutTruthWR(p, pCut); } -static inline word * If_CutTruthW( If_Man_t * p, If_Cut_t * pCut ) { if ( p->vTtMem == NULL ) return NULL; assert( pCut->iCutFunc >= 0 ); Abc_TtCopy( p->puTempW, If_CutTruthWR(p, pCut), p->nTruth6Words[pCut->nLeaves], If_CutTruthIsCompl(pCut) ); return p->puTempW; } +static inline word * If_CutTruthW( If_Man_t * p, If_Cut_t * pCut ) { assert( pCut->iCutFunc >= 0 ); Abc_TtCopy( p->puTempW, If_CutTruthWR(p, pCut), p->nTruth6Words[pCut->nLeaves], If_CutTruthIsCompl(pCut) ); return p->puTempW; } static inline unsigned * If_CutTruth( If_Man_t * p, If_Cut_t * pCut ) { return (unsigned *)If_CutTruthW(p, pCut); } static inline int If_CutDsdLit( If_Man_t * p, If_Cut_t * pCut ) { return Abc_Lit2LitL( Vec_IntArray(p->vTtDsds[pCut->nLeaves]), If_CutTruthLit(pCut) ); } |