luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

gcc 4.8 fix

This commit is contained in:
Miodrag Milanovic 2022-03-04 11:25:56 +01:00
parent f36724e301
commit d7ecb23eee
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/base/io/io.c
View File

@ -703,6 +703,7 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex,
int iPo = 0; int iPo = 0;
nFrames = -1; nFrames = -1;
int status = 0; int status = 0;
int i;
while ( fgets( Buffer, 1000, pFile ) != NULL ) while ( fgets( Buffer, 1000, pFile ) != NULL )
{ {
if ( Buffer[0] == '#' ) if ( Buffer[0] == '#' )
@ -750,7 +751,7 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex,
state = 2; state = 2;
break; break;
case 2 : case 2 :
for (int i=0; i<strlen(Buffer);i++) { for (i=0; i<strlen(Buffer);i++) {
char c = Buffer[i]; char c = Buffer[i];
if ( c == '0' || c == '1' ) if ( c == '0' || c == '1' )
Vec_IntPush( vNums, c - '0' ); Vec_IntPush( vNums, c - '0' );
@ -765,7 +766,7 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex,
state = 3; state = 3;
break; break;
default: default:
for (int i=0; i<strlen(Buffer);i++) { for (i=0; i<strlen(Buffer);i++) {
char c = Buffer[i]; char c = Buffer[i];
if ( c == '0' || c == '1' ) if ( c == '0' || c == '1' )
Vec_IntPush( vNums, c - '0' ); Vec_IntPush( vNums, c - '0' );
@ -782,7 +783,6 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex,
if (usedX) if (usedX)
printf( "Warning: Using 0 instead of x in latches or primary inputs\n" ); printf( "Warning: Using 0 instead of x in latches or primary inputs\n" );
int i;
Abc_Obj_t * pObj; Abc_Obj_t * pObj;
int iFrameCex = nFrames; int iFrameCex = nFrames;
int nRegsNtk = 0; int nRegsNtk = 0;