diff options
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauTree.c | 2 | ||||
| -rw-r--r-- | src/opt/nwk/nwkMap.c | 6 | ||||
| -rw-r--r-- | src/opt/nwk/nwkStrash.c | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/src/opt/dau/dauTree.c b/src/opt/dau/dauTree.c index 4a522d92..f8508d53 100644 --- a/src/opt/dau/dauTree.c +++ b/src/opt/dau/dauTree.c @@ -560,7 +560,7 @@ int Dss_NtkCreate_rec( char * pStr, char ** p, int * pMatches, Dss_Ntk_t * pNtk, Dss_Obj_t * pObj; Vec_Int_t * vFaninLits = Vec_IntAlloc( 10 ); char * q = pStr + pMatches[ *p - pStr ]; - int Type; + int Type = 0; if ( **p == '(' ) Type = DAU_DSD_AND; else if ( **p == '[' ) diff --git a/src/opt/nwk/nwkMap.c b/src/opt/nwk/nwkMap.c index d3431c42..04d8b198 100644 --- a/src/opt/nwk/nwkMap.c +++ b/src/opt/nwk/nwkMap.c @@ -106,7 +106,7 @@ If_Man_t * Nwk_ManToIf( Aig_Man_t * p, If_Par_t * pPars, Vec_Ptr_t * vAigToIf ) Vec_Int_t * vSwitching = NULL, * vSwitching2 = NULL; float * pSwitching = NULL, * pSwitching2 = NULL; If_Man_t * pIfMan; - If_Obj_t * pIfObj; + If_Obj_t * pIfObj = NULL; Aig_Obj_t * pNode, * pFanin, * pPrev; int i; abctime clk = Abc_Clock(); @@ -276,9 +276,9 @@ Nwk_Man_t * Nwk_ManFromIf( If_Man_t * pIfMan, Aig_Man_t * p, Vec_Ptr_t * vAigToI { Vec_Ptr_t * vIfToAig; Nwk_Man_t * pNtk; - Nwk_Obj_t * pObjNew; + Nwk_Obj_t * pObjNew = NULL; Aig_Obj_t * pObj, * pObjRepr; - If_Obj_t * pIfObj; + If_Obj_t * pIfObj = NULL; If_Cut_t * pCutBest; int i, k, nLeaves, * ppLeaves; assert( Aig_ManCiNum(p) == If_ManCiNum(pIfMan) ); diff --git a/src/opt/nwk/nwkStrash.c b/src/opt/nwk/nwkStrash.c index 26fba57f..19a322b9 100644 --- a/src/opt/nwk/nwkStrash.c +++ b/src/opt/nwk/nwkStrash.c @@ -100,7 +100,7 @@ Aig_Man_t * Nwk_ManStrash( Nwk_Man_t * pNtk ) { Vec_Ptr_t * vObjs; Aig_Man_t * pMan; - Aig_Obj_t * pObjNew; + Aig_Obj_t * pObjNew = NULL; Nwk_Obj_t * pObj; int i, Level; pMan = Aig_ManStart( Nwk_ManGetAigNodeNum(pNtk) ); |