diff options
Diffstat (limited to 'src/sat/csat/csat_apis.c')
| -rw-r--r-- | src/sat/csat/csat_apis.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c index 5872f5bc..e755d8d4 100644 --- a/src/sat/csat/csat_apis.c +++ b/src/sat/csat/csat_apis.c @@ -169,8 +169,10 @@ void ABC_UseOnlyCoreSatSolver( ABC_Manager mng ) ***********************************************************************/ int ABC_AddGate( ABC_Manager mng, enum GateType type, char * name, int nofi, char ** fanins, int dc_attr ) { - Abc_Obj_t * pObj, * pFanin; - char * pSop, * pNewName; + Abc_Obj_t * pObj = NULL; // Suppress "might be used uninitialized" + Abc_Obj_t * pFanin; + char * pSop = NULL; // Suppress "might be used uninitialized" + char * pNewName; int i; // save the name in the local memory manager |