diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-10 08:58:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-10 08:58:18 -0700 |
| commit | ccb5bb34d73f34461abe180f36b3c2b9e45cc933 (patch) | |
| tree | 74342a3dc5291fa48cff9a792df8c6791833dd46 /src/sat | |
| parent | ca9eca3b227ae3f8a60038ba9c295f5383a6826d (diff) | |
| download | abc-ccb5bb34d73f34461abe180f36b3c2b9e45cc933.tar.gz abc-ccb5bb34d73f34461abe180f36b3c2b9e45cc933.tar.bz2 abc-ccb5bb34d73f34461abe180f36b3c2b9e45cc933.zip | |
Suggested patch for type-punned warnings
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/msat/msatClause.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/sat/msat/msatClause.c b/src/sat/msat/msatClause.c index a464f23a..6b1b9e98 100644 --- a/src/sat/msat/msatClause.c +++ b/src/sat/msat/msatClause.c @@ -294,7 +294,10 @@ int Msat_ClauseIsLocked( Msat_Solver_t * p, Msat_Clause_t * pC ) ***********************************************************************/ float Msat_ClauseReadActivity( Msat_Clause_t * pC ) { - return *((float *)(pC->pData + pC->nSize)); + float f; + + memcpy( &f, pC->pData + pC->nSize, sizeof (f)); + return f; } /**Function************************************************************* @@ -310,7 +313,7 @@ float Msat_ClauseReadActivity( Msat_Clause_t * pC ) ***********************************************************************/ void Msat_ClauseWriteActivity( Msat_Clause_t * pC, float Num ) { - *((float *)(pC->pData + pC->nSize)) = Num; + memcpy( pC->pData + pC->nSize, &Num, sizeof (Num) ); } /**Function************************************************************* |