Skip to content

A
abc
Unverified Commit 3b4a4481 by alanminko Committed by GitHub
Options

Merge pull request #132 from jamesjer/aliasing 

Fix violation of C strict aliasing rules.
parents 0fc13478 c312e416
Showing with 3 additions and 1 deletions
src/aig/gia/giaUtil.c
...@@ -2109,11 +2109,13 @@ void Gia_AigerWriteLut( Gia_Man_t * p, char * pFileName ) ...@@ -2109,11 +2109,13 @@ void Gia_AigerWriteLut( Gia_Man_t * p, char * pFileName )
Gia_ManForEachObj( p, pObj, i ) Gia_ManForEachObj( p, pObj, i )
if ( i && Gia_ObjIsLut(p, i) ) if ( i && Gia_ObjIsLut(p, i) )
{ {
word truth;
pLuts[iLut].Type = 3; pLuts[iLut].Type = 3;
Gia_LutForEachFanin( p, i, iFan, k ) Gia_LutForEachFanin( p, i, iFan, k )
pLuts[iLut].pFans[k] = Gia_ManObj(p, iFan)->Value; pLuts[iLut].pFans[k] = Gia_ManObj(p, iFan)->Value;
pLuts[iLut].nFans = k; pLuts[iLut].nFans = k;
*(word *)pLuts[iLut].pTruth = Gia_LutComputeTruth6(p, i, vTruths); truth = Gia_LutComputeTruth6(p, i, vTruths);
memcpy( pLuts[iLut].pTruth, &truth, sizeof(word) );
pObj->Value = pLuts[iLut].Out = Abc_Var2Lit( iLut, 0 ); pObj->Value = pLuts[iLut].Out = Abc_Var2Lit( iLut, 0 );
iLut++; iLut++;
} }
......
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