diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-26 09:31:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-26 09:31:43 -0700 |
| commit | 889ed19c1c8c56e0d888876ed0b011275eafcaf8 (patch) | |
| tree | 263feec77f49a48816c5f7a40fc423fade111f8c /src | |
| parent | 137f0347f089ecb3e23e509f4081a99ea95e3077 (diff) | |
| download | abc-889ed19c1c8c56e0d888876ed0b011275eafcaf8.tar.gz abc-889ed19c1c8c56e0d888876ed0b011275eafcaf8.tar.bz2 abc-889ed19c1c8c56e0d888876ed0b011275eafcaf8.zip | |
Compiler warnings.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/cmd/cmdHist.c | 2 | ||||
| -rw-r--r-- | src/map/scl/sclTime.c | 2 | ||||
| -rw-r--r-- | src/proof/fra/fraSim.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/base/cmd/cmdHist.c b/src/base/cmd/cmdHist.c index 29a51452..4aa8105b 100644 --- a/src/base/cmd/cmdHist.c +++ b/src/base/cmd/cmdHist.c @@ -60,7 +60,7 @@ void Cmd_HistoryAddCommand( Abc_Frame_t * p, const char * command ) strncmp(Buffer,"source",6) && strncmp(Buffer,"history",7) && strncmp(Buffer,"hi ", 3) && strcmp(Buffer,"hi") ) { - char * pStr; + char * pStr = NULL; int i, Start = Abc_MaxInt( 0, Vec_PtrSize(p->aHistory) - nLastLooked ); // do not enter if the same command appears among nLastLooked commands Vec_PtrForEachEntryStart( char *, p->aHistory, pStr, i, Start ) diff --git a/src/map/scl/sclTime.c b/src/map/scl/sclTime.c index 761c7eab..883b1ddd 100644 --- a/src/map/scl/sclTime.c +++ b/src/map/scl/sclTime.c @@ -132,7 +132,7 @@ float Abc_SclTotalArea( SC_Man * p, Vec_Ptr_t * vNodes ) Vec_Flt_t * Abc_SclFindWireCaps( SC_Man * p, Vec_Ptr_t * vNodes ) { Vec_Flt_t * vCaps = NULL; - SC_WireLoad * pWL; + SC_WireLoad * pWL = NULL; int i, Entry, EntryPrev, EntryMax; p->pWireLoadUsed = NULL; if ( p->pLib->default_wire_load_sel ) diff --git a/src/proof/fra/fraSim.c b/src/proof/fra/fraSim.c index 3b2fc219..bbe68717 100644 --- a/src/proof/fra/fraSim.c +++ b/src/proof/fra/fraSim.c @@ -894,7 +894,7 @@ Vec_Str_t * Fra_SmlSimulateReadFile( char * pFileName ) Vec_StrPush( vRes, (char)(c - '0') ); else if ( c != ' ' && c != '\r' && c != '\n' && c != '\t' ) { - printf( "File \"%s\" contains symbol (%c) other than \'0\' or \'1\'.\n", (char)c ); + printf( "File \"%s\" contains symbol (%c) other than \'0\' or \'1\'.\n", pFileName, (char)c ); Vec_StrFreeP( &vRes ); break; } |