From af51bdaf3ee3684ebccd14fa0546085fcf147139 Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Thu, 23 Feb 2012 13:01:17 -0800 Subject: pyabc: silenced warnings in gcc --- src/python/pyabc.i | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'src/python/pyabc.i') diff --git a/src/python/pyabc.i b/src/python/pyabc.i index 37501a75..00e410a6 100644 --- a/src/python/pyabc.i +++ b/src/python/pyabc.i @@ -137,28 +137,28 @@ int n_cex_pis() { Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); - return Abc_FrameReadCex(pAbc) ? Abc_FrameReadCexPiNum( Abc_FrameReadCex(pAbc) ) : -1; + return Abc_FrameReadCex(pAbc) ? Abc_FrameReadCexPiNum( pAbc ) : -1; } int n_cex_regs() { Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); - return Abc_FrameReadCex(pAbc) ? Abc_FrameReadCexRegNum( Abc_FrameReadCex(pAbc) ) : -1; + return Abc_FrameReadCex(pAbc) ? Abc_FrameReadCexRegNum( pAbc ) : -1; } int cex_po() { Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); - return Abc_FrameReadCex(pAbc) ? Abc_FrameReadCexPo( Abc_FrameReadCex(pAbc) ) : -1; + return Abc_FrameReadCex(pAbc) ? Abc_FrameReadCexPo( pAbc ) : -1; } int cex_frame() { Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); - return Abc_FrameReadCex(pAbc) ? Abc_FrameReadCexFrame( Abc_FrameReadCex(pAbc) ) : -1; + return Abc_FrameReadCex(pAbc) ? Abc_FrameReadCexFrame( pAbc ) : -1; } int n_phases() @@ -217,8 +217,6 @@ Abc_Cex_t* _cex_get_vec(int i) void _cex_put(Abc_Cex_t* pCex) { - Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); - if ( pCex ) { pCex = Abc_CexDup(pCex, -1); -- cgit v1.2.3