From ccb5bb34d73f34461abe180f36b3c2b9e45cc933 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 10 Oct 2014 08:58:18 -0700
Subject: Suggested patch for type-punned warnings

---
 src/aig/gia/giaShrink6.c | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'src/aig/gia/giaShrink6.c')

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 )
 {
-- 
cgit v1.2.3