diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 12:15:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 12:15:54 -0700 |
| commit | e149cdcd77de5023782cf2cd16e98aa20473b89c (patch) | |
| tree | dc27e5b81ec161729144660153bbf784fbff58c6 /src/aig/gia/giaResub.c | |
| parent | 2b58a83ac082397a025f9d93df32d549aeac2ae9 (diff) | |
| download | abc-e149cdcd77de5023782cf2cd16e98aa20473b89c.tar.gz abc-e149cdcd77de5023782cf2cd16e98aa20473b89c.tar.bz2 abc-e149cdcd77de5023782cf2cd16e98aa20473b89c.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/gia/giaResub.c')
| -rw-r--r-- | src/aig/gia/giaResub.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/aig/gia/giaResub.c b/src/aig/gia/giaResub.c index 4dd8951f..9de0ffb8 100644 --- a/src/aig/gia/giaResub.c +++ b/src/aig/gia/giaResub.c @@ -702,7 +702,6 @@ int Gia_ManFindGateGateInt( word * pOffSet, word * pOnSet, Vec_Ptr_t * vDivs, in int fCompB = Abc_LitIsCompl(iDiv1); int iDiv10 = Abc_Lit2Var(iDiv1 >> 16); int iDiv11 = Abc_Lit2Var(iDiv1 & 0xFFF); - word * pDiv0 = (word *)Vec_PtrEntry(vDivs, Abc_Lit2Var(iDiv0)); word * pDiv10 = (word *)Vec_PtrEntry(vDivs, Abc_Lit2Var(iDiv10)); word * pDiv11 = (word *)Vec_PtrEntry(vDivs, Abc_Lit2Var(iDiv11)); Abc_TtAndCompl( pDivTempB, pDiv10, Abc_LitIsCompl(iDiv10), pDiv11, Abc_LitIsCompl(iDiv11), nWords ); |