g++ compiler warnings.

src/aig/gia/giaFadds.c

@@ -565,7 +565,7 @@ Gia_Man_t * Gia_ManGenerateExtraAig( int nBoxes, int nIns, int nOuts )
 void Gia_ManDupFadd( Gia_Man_t * pNew, Gia_Man_t * p, Vec_Int_t * vChain, Vec_Int_t * vFadds, Vec_Int_t * vMap, Vec_Wec_t * vChains, Vec_Int_t * vMap2Chain, Vec_Int_t * vTruths )
 {
     extern void Gia_ManDupWithFaddBoxes_rec( Gia_Man_t * pNew, Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vFadds, Vec_Int_t * vMap, Vec_Wec_t * vChains, Vec_Int_t * vMap2Chain, Vec_Int_t * vTruths );
-    int i, k, iFadd, iCiLit, pLits[3];
+    int i, k, iFadd = -1, iCiLit, pLits[3];
     Gia_Obj_t * pObj;
     // construct FADD inputs
     Vec_IntForEachEntry( vChain, iFadd, i )

src/aig/gia/giaRex.c

@@ -19,6 +19,7 @@
 ***********************************************************************/
 
 #include "gia.h"
+#include "misc/extra/extra.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -27,8 +28,6 @@ ABC_NAMESPACE_IMPL_START
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////
 
-extern void Extra_PrintBinary( FILE * pFile, unsigned Sign[], int nBits );
-
 ////////////////////////////////////////////////////////////////////////
 ///                     FUNCTION DEFINITIONS                         ///
 ////////////////////////////////////////////////////////////////////////

src/base/abci/abc.c

@@ -55,6 +55,7 @@
 #include "opt/sfm/sfm.h"
 #include "bool/rpo/rpo.h"
 #include "map/mpm/mpm.h"
+#include "opt/fret/fretime.h"
 
 #ifndef _WIN32
 #include <unistd.h>