diff options
author | Baruch Sterin <baruchs@gmail.com> | 2012-02-23 13:01:17 -0800 |
---|---|---|
committer | Baruch Sterin <baruchs@gmail.com> | 2012-02-23 13:01:17 -0800 |
commit | af51bdaf3ee3684ebccd14fa0546085fcf147139 (patch) | |
tree | c176793834fc330649da28e860507b1aec6b1047 /src/python/pyabc.i | |
parent | a87a3b4e330b6abf4411ccf72503cadd10aeb44e (diff) | |
download | abc-af51bdaf3ee3684ebccd14fa0546085fcf147139.tar.gz abc-af51bdaf3ee3684ebccd14fa0546085fcf147139.tar.bz2 abc-af51bdaf3ee3684ebccd14fa0546085fcf147139.zip |
pyabc: silenced warnings in gcc
Diffstat (limited to 'src/python/pyabc.i')
-rw-r--r-- | src/python/pyabc.i | 10 |
1 files changed, 4 insertions, 6 deletions
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); |