Fix potential resource leak

src/base/abci/abcMv.c

@@ -221,6 +221,7 @@ void Abc_MvRead( Mv_Man_t * p )
         Cudd_RecursiveDeref( p->dd, bTemp );
         Cudd_RecursiveDeref( p->dd, bCube );
     }
+    flose(pFile);
 
     // add the complement of the domain to all values
     for ( i = 0; i < 15; i++ )

src/base/abci/abcScorr.c

@@ -378,8 +378,11 @@ Abc_Ntk_t * Abc_NtkTestScorr( char * pFileNameIn, char * pFileNameOut, int nStep
         Abc_NtkDelete( pLogic );
         Abc_NtkDelete( pNetlist );
         printf( "Deriving strashed network from input file %s has failed.\n", pFileNameIn );
+        fclose( pFile );
         return NULL;
     }
+    fclose( pFile );
+
     pAig = Abc_NtkToDar( pStrash, 0, 1 ); // performs "zero" internally
     // the newer computation (&scorr)
     if ( fNewAlgo )

src/base/acb/acbFunc.c

@@ -1922,7 +1922,10 @@ void Acb_GenerateFileOut( Vec_Str_t * vPatchLine, char * pFileNameF, char * pFil
     // output file
     pFileOut = fopen( pFileNameOut, "wb" );
     if ( !pFileOut )
+    {
+        fclose( pFileIn );
         return;
+    }
     // copy line by line
     while ( fgets(pBuffer, 10000, pFileIn) )
     {

src/base/io/ioReadPlaMo.c

@@ -110,6 +110,7 @@ char * Mop_ManLoadFile( char * pFileName )
     if ( nFileSize == 0 )
     {
         Abc_Print( -1, "Mop_ManLoadFile(): The file is empty.\n" );
+        fclose( pFile );
         return NULL;
     }
     pContents = ABC_ALLOC( char, nFileSize + 10 );

src/bool/lucky/luckySwapIJ.c

@@ -84,6 +84,7 @@ void swap_ij_case3( word* f,int totalVars, int i, int j)
             memcpy(&f[x],&f[x+shift],SizeOfBlock);
             memcpy(&f[x+shift],temp,SizeOfBlock);
         }
+    free( temp );
 }
 void swap_ij( word* f,int totalVars, int varI, int varJ)
 {

src/map/fpga/fpgaLib.c

@@ -115,6 +115,8 @@ Fpga_LutLib_t * Fpga_LutLibRead( char * FileName, int fVerbose )
         }
         i++;
     }
+    fclose( pFile );
+
     p->LutMax = i-1;
 /*
     if ( p->LutMax > FPGA_MAX_LEAVES )

src/map/if/ifDsd.c

@@ -1121,6 +1121,7 @@ If_DsdMan_t * If_DsdManLoad( char * pFileName )
     RetValue = fread( pBuffer, 4, 1, pFile );
     if ( strncmp(pBuffer, DSD_VERSION, strlen(DSD_VERSION)) )
     {
+        fclose( pFile );
         printf( "Unrecognized format of file \"%s\".\n", pFileName );
         return NULL;
     }