diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 21:53:16 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 21:53:16 -0800 |
| commit | 791b107e7a225103ee76c921c3c4a96d0e1adae2 (patch) | |
| tree | 80d8e58053fbca2087d57b7fa8cbca7c594aa764 /src/bool | |
| parent | 933744347b36315b42338dfdee5934f87d029398 (diff) | |
| download | abc-791b107e7a225103ee76c921c3c4a96d0e1adae2.tar.gz abc-791b107e7a225103ee76c921c3c4a96d0e1adae2.tar.bz2 abc-791b107e7a225103ee76c921c3c4a96d0e1adae2.zip | |
Silencing some of the gcc warnings.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/bdc/bdcSpfd.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/bool/bdc/bdcSpfd.c b/src/bool/bdc/bdcSpfd.c index 83a35c11..3144f136 100644 --- a/src/bool/bdc/bdcSpfd.c +++ b/src/bool/bdc/bdcSpfd.c @@ -725,15 +725,16 @@ Vec_Wrd_t * Bdc_SpfdReadFiles5( Vec_Int_t ** pvWeights ) Vec_Int_t * vWeights; Vec_Wrd_t * vDivs; FILE * pFile; + int RetValue; vDivs = Vec_WrdStart( 3863759 ); pFile = fopen( "func6v5n_bin.txt", "rb" ); - fread( Vec_WrdArray(vDivs), sizeof(word), Vec_WrdSize(vDivs), pFile ); + RetValue = fread( Vec_WrdArray(vDivs), sizeof(word), Vec_WrdSize(vDivs), pFile ); fclose( pFile ); vWeights = Vec_IntStart( 3863759 ); pFile = fopen( "func6v5nW_bin.txt", "rb" ); - fread( Vec_IntArray(vWeights), sizeof(int), Vec_IntSize(vWeights), pFile ); + RetValue = fread( Vec_IntArray(vWeights), sizeof(int), Vec_IntSize(vWeights), pFile ); fclose( pFile ); *pvWeights = vWeights; @@ -756,12 +757,13 @@ Vec_Wrd_t * Bdc_SpfdReadFiles6( Vec_Int_t ** pvWeights ) Vec_Int_t * vWeights; Vec_Wrd_t * vDivs = Vec_WrdStart( 12776759 ); FILE * pFile = fopen( "func6v6n_bin.txt", "rb" ); - fread( Vec_WrdArray(vDivs), sizeof(word), Vec_WrdSize(vDivs), pFile ); + int RetValue; + RetValue = fread( Vec_WrdArray(vDivs), sizeof(word), Vec_WrdSize(vDivs), pFile ); fclose( pFile ); vWeights = Vec_IntStart( 12776759 ); pFile = fopen( "func6v6nW_bin.txt", "rb" ); - fread( Vec_IntArray(vWeights), sizeof(int), Vec_IntSize(vWeights), pFile ); + RetValue = fread( Vec_IntArray(vWeights), sizeof(int), Vec_IntSize(vWeights), pFile ); fclose( pFile ); *pvWeights = vWeights; |