From 6c01e8b9f040d591f72882aff08ed21446fbb567 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 27 Mar 2011 14:17:12 -0700 Subject: Fixed a number of small bugs and memory leaks. --- src/map/mapper/mapperMatch.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/map/mapper/mapperMatch.c') diff --git a/src/map/mapper/mapperMatch.c b/src/map/mapper/mapperMatch.c index 19dd6939..6a2ad74a 100644 --- a/src/map/mapper/mapperMatch.c +++ b/src/map/mapper/mapperMatch.c @@ -93,16 +93,23 @@ int Map_MappingMatches( Map_Man_t * p ) // make sure that at least one non-trival cut is present if ( pNode->pCuts->pNext == NULL ) { + Extra_ProgressBarStop( pProgress ); printf( "\nError: A node in the mapping graph does not have feasible cuts.\n" ); return 0; } // match negative phase if ( !Map_MatchNodePhase( p, pNode, 0 ) ) + { + Extra_ProgressBarStop( pProgress ); return 0; + } // match positive phase if ( !Map_MatchNodePhase( p, pNode, 1 ) ) + { + Extra_ProgressBarStop( pProgress ); return 0; + } // make sure that at least one phase is mapped if ( pNode->pCutBest[0] == NULL && pNode->pCutBest[1] == NULL ) @@ -110,6 +117,7 @@ int Map_MappingMatches( Map_Man_t * p ) printf( "\nError: Could not match both phases of AIG node %d.\n", pNode->Num ); printf( "Please make sure that the supergate library has equivalents of AND2 or NAND2.\n" ); printf( "If such supergates exist in the library, report a bug.\n" ); + Extra_ProgressBarStop( pProgress ); return 0; } -- cgit v1.2.3