diff options
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauGia.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/opt/dau/dauGia.c b/src/opt/dau/dauGia.c index 54cd4782..7e7d9094 100644 --- a/src/opt/dau/dauGia.c +++ b/src/opt/dau/dauGia.c @@ -161,11 +161,10 @@ int Dau_DsdToGia_rec( Gia_Man_t * pGia, char * pStr, char ** p, int * pMatches, } if ( (**p >= 'A' && **p <= 'F') || (**p >= '0' && **p <= '9') ) { - word Func; + Vec_Int_t vLeaves; char * q; + word pFunc[DAU_DSD_MAX_VAR > 6 ? (1 << (DAU_DSD_MAX_VAR-6)) : 1]; int Fanins[DAU_DSD_MAX_VAR], Res; - Vec_Int_t vLeaves; - char * q; - int i, nVars = Abc_TtReadHex( &Func, *p ); + int i, nVars = Abc_TtReadHex( pFunc, *p ); *p += Abc_TtHexDigitNum( nVars ); q = pStr + pMatches[ *p - pStr ]; assert( **p == '{' && *q == '}' ); @@ -177,7 +176,7 @@ int Dau_DsdToGia_rec( Gia_Man_t * pGia, char * pStr, char ** p, int * pMatches, vLeaves.nCap = nVars; vLeaves.nSize = nVars; vLeaves.pArray = Fanins; - Res = Kit_TruthToGia( pGia, (unsigned *)&Func, nVars, vCover, &vLeaves, 1 ); + Res = Kit_TruthToGia( pGia, (unsigned *)pFunc, nVars, vCover, &vLeaves, 1 ); m_Non1Step++; return Abc_LitNotCond( Res, fCompl ); } |