diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-07-24 11:44:28 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-07-24 11:44:28 +0700 |
| commit | ee1bd8f0bee0678a289e086676adad2f35e3e2ae (patch) | |
| tree | 843f47af624fa07ddc62828cc37d0e102ded5730 /src/opt/dau | |
| parent | 0ca7e355f457363bc78de8468df1e66e61b5e8b0 (diff) | |
| download | abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.gz abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.tar.bz2 abc-ee1bd8f0bee0678a289e086676adad2f35e3e2ae.zip | |
Fixing some update gcc.
Diffstat (limited to 'src/opt/dau')
| -rw-r--r-- | src/opt/dau/dauMerge.c | 2 | ||||
| -rw-r--r-- | src/opt/dau/dauNpn.c | 4 | ||||
| -rw-r--r-- | src/opt/dau/dauNpn2.c | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/opt/dau/dauMerge.c b/src/opt/dau/dauMerge.c index 534a0237..d6b3c0ba 100644 --- a/src/opt/dau/dauMerge.c +++ b/src/opt/dau/dauMerge.c @@ -589,7 +589,7 @@ char * Dau_DsdMerge( char * pDsd0i, int * pPerm0, char * pDsd1i, int * pPerm1, i int fVerbose = 0; int fCheck = 0; static int Counter = 0; - static char pRes[DAU_MAX_STR]; + static char pRes[2*DAU_MAX_STR+10]; char pDsd0[DAU_MAX_STR]; char pDsd1[DAU_MAX_STR]; int pMatches0[DAU_MAX_STR]; diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index fc261edc..2b9e1915 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -115,7 +115,7 @@ void Dau_TruthEnum(int nVars) { FILE * pFile; int RetValue; - char pFileName[20]; + char pFileName[200]; sprintf( pFileName, "tableW%d.data", nSizeLog ); pFile = fopen( pFileName, "wb" ); RetValue = fwrite( pTable, 8, nSizeW, pFile ); @@ -180,7 +180,7 @@ void Dau_NetworkEnum(int nVars) int UseTwo = 0; int nSizeLog = (1<<nVars) -2; int nSizeW = 1 << nSizeLog; - char pFileName[20]; + char pFileName[200]; unsigned * pTable; Vec_Wec_t * vNpns = Vec_WecStart( 32 ); Vec_Wec_t * vNpns_ = Vec_WecStart( 32 ); diff --git a/src/opt/dau/dauNpn2.c b/src/opt/dau/dauNpn2.c index 58b23a8c..3c6bee4d 100644 --- a/src/opt/dau/dauNpn2.c +++ b/src/opt/dau/dauNpn2.c @@ -348,7 +348,7 @@ unsigned * Dtt_ManLoadClasses( int nVars, int * pnClasses ) unsigned * pTable = NULL; int nSizeLog = (1<<nVars) -2; int nSizeW = 1 << nSizeLog; - char pFileName[20]; + char pFileName[200]; sprintf( pFileName, "tableW%d.data", nSizeLog ); pTable = Dau_ReadFile2( pFileName, nSizeW ); if (pTable == NULL) |