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/aig/gia/giaShrink6.c | |
| 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/aig/gia/giaShrink6.c')
| -rw-r--r-- | src/aig/gia/giaShrink6.c | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/aig/gia/giaShrink6.c b/src/aig/gia/giaShrink6.c index ee89f311..9b92c213 100644 --- a/src/aig/gia/giaShrink6.c +++ b/src/aig/gia/giaShrink6.c @@ -170,11 +170,14 @@ Gia_Man_t * Shr_ManFree( Shr_Man_t * p ) ***********************************************************************/ static inline void Shr_ManAddFanout( Shr_Man_t * p, int iFanin, int iFanout ) { - Shr_Fan_t FanStr; - FanStr.iFan = iFanout; - FanStr.Next = Vec_IntEntry(p->vObj2Fan, iFanin); + union { + Shr_Fan_t sFan; + word sWord; + } FanStr; + FanStr.sFan.iFan = iFanout; + FanStr.sFan.Next = Vec_IntEntry(p->vObj2Fan, iFanin); Vec_IntWriteEntry( p->vObj2Fan, iFanin, Vec_WrdSize(p->vFanMem) ); - Vec_WrdPush(p->vFanMem, *((word *)&FanStr) ); + Vec_WrdPush(p->vFanMem, FanStr.sWord ); } static inline int Shr_ManFanIterStart( Shr_Man_t * p, int iNode ) { |