diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-04 21:10:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-04 21:10:48 -0700 |
| commit | 3206a7fc106759bc7cd729f4d152671b4cf3ecbf (patch) | |
| tree | c1e77d4e6b6588092ea4f349a17a7bf2477b804c /src/base/cba | |
| parent | 9de8a0b3466541920feca98abbb37cc7ca4ddb7a (diff) | |
| download | abc-3206a7fc106759bc7cd729f4d152671b4cf3ecbf.tar.gz abc-3206a7fc106759bc7cd729f4d152671b4cf3ecbf.tar.bz2 abc-3206a7fc106759bc7cd729f4d152671b4cf3ecbf.zip | |
Compiler warnings.
Diffstat (limited to 'src/base/cba')
| -rw-r--r-- | src/base/cba/cbaReadVer.c | 4 | ||||
| -rw-r--r-- | src/base/cba/cbaWriteVer.c | 10 |
2 files changed, 3 insertions, 11 deletions
diff --git a/src/base/cba/cbaReadVer.c b/src/base/cba/cbaReadVer.c index 42867b26..639f0659 100644 --- a/src/base/cba/cbaReadVer.c +++ b/src/base/cba/cbaReadVer.c @@ -1207,7 +1207,7 @@ int Prs_CreateVerilogNtk( Cba_Ntk_t * p, Prs_Ntk_t * pNtk ) else // box { Cba_Ntk_t * pBox = NULL; int nInputs, nOutputs = 1; - char ** pOutNames, * pNtkName = Prs_NtkStr(pNtk, Prs_BoxNtk(pNtk, i)); + char ** pOutNames = NULL, * pNtkName = Prs_NtkStr(pNtk, Prs_BoxNtk(pNtk, i)); Cba_ObjType_t Type = Prs_ManFindType( pNtkName, &nInputs, 1, &pOutNames ); if ( Type == CBA_OBJ_BOX ) { @@ -1297,7 +1297,7 @@ int Prs_CreateVerilogNtk( Cba_Ntk_t * p, Prs_Ntk_t * pNtk ) else // box { int nInputs = -1; - char ** pInNames, * pNtkName = Prs_NtkStr(pNtk, Prs_BoxNtk(pNtk, i)); + char ** pInNames = NULL, * pNtkName = Prs_NtkStr(pNtk, Prs_BoxNtk(pNtk, i)); Cba_ObjType_t Type = Prs_ManFindType( pNtkName, &nInputs, 0, &pInNames ); assert( Type == Cba_ObjType(p, iObj) ); // mark PI objects diff --git a/src/base/cba/cbaWriteVer.c b/src/base/cba/cbaWriteVer.c index f16ee163..7fbb47df 100644 --- a/src/base/cba/cbaWriteVer.c +++ b/src/base/cba/cbaWriteVer.c @@ -397,16 +397,8 @@ int Cba_ManWriteLineFile( Cba_Ntk_t * p, int iObj, int FileAttr, int LineAttr ) int FileId = 0, LineId = 0; if ( FileAttr && (FileId = Cba_ObjAttrValue(p, iObj, FileAttr)) ) { -/* LineId = Cba_ObjAttrValue(p, iObj, LineAttr); - Vec_StrPrintStr( vStr, " // " ); - Vec_StrPrintStr( vStr, Cba_NtkStr(p, FileId) ); - Vec_StrPush( vStr, '(' ); - Vec_StrPrintNum( vStr, LineId ); - Vec_StrPush( vStr, ')' ); -*/ - Vec_StrPrintF( vStr, " // %s(%d)", Cba_NtkStr(p, FileId), Cba_ObjAttrValue(p, iObj, LineAttr) ); - + Vec_StrPrintF( vStr, " // %s(%d)", Cba_NtkStr(p, FileId), LineId ); return 1; } return 0; |