From 518410af359e2e4dcb61613fcebcb6dfe85cae08 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 9 Aug 2012 18:55:30 -0700
Subject: Compiler warnings.

---
 src/bool/lucky/lucky.c     |  2 +-
 src/bool/lucky/luckyInt.h  | 20 ++++----------------
 src/bool/lucky/luckySwap.c | 13 +++++++++++++
 3 files changed, 18 insertions(+), 17 deletions(-)

(limited to 'src/bool')

diff --git a/src/bool/lucky/lucky.c b/src/bool/lucky/lucky.c
index 27d8c098..8fc413be 100644
--- a/src/bool/lucky/lucky.c
+++ b/src/bool/lucky/lucky.c
@@ -85,7 +85,7 @@ void sortAndUnique(word** a, Abc_TtStore_t* p)
 {
      int i, count=1, WordsPtrN = p->nFuncs;
      word* tempWordPtr;
-     qsort(a,WordsPtrN,sizeof(word*),compareWords3);
+     qsort(a,WordsPtrN,sizeof(word*),(int(*)(const void *,const void *))compareWords3);
      tempWordPtr = a[0];
      for(i=1;i<WordsPtrN;i++)    
          if(memcmp(a[i],tempWordPtr,sizeof(word)*(p->nWords)) != 0)
diff --git a/src/bool/lucky/luckyInt.h b/src/bool/lucky/luckyInt.h
index 3848069a..295d3c30 100644
--- a/src/bool/lucky/luckyInt.h
+++ b/src/bool/lucky/luckyInt.h
@@ -35,27 +35,15 @@
 #define ABC_NAMESPACE_IMPL_START
 #define ABC_NAMESPACE_IMPL_END
 typedef unsigned __int64  word;
-#endif
-
-
-ABC_NAMESPACE_HEADER_START
-
-
 #define bool int
 #define false 0
 #define true 1
 #define inline __inline  // compatible with MS VS 6.0
 #define ABC_ALLOC(type, num)    ((type *) malloc(sizeof(type) * (num)))
-static word mask1[6] = { 0xAAAAAAAAAAAAAAAA,0xCCCCCCCCCCCCCCCC, 0xF0F0F0F0F0F0F0F0,0xFF00FF00FF00FF00,0xFFFF0000FFFF0000, 0xFFFFFFFF00000000 };
-static word mask0[6] = { 0x5555555555555555,0x3333333333333333, 0x0F0F0F0F0F0F0F0F,0x00FF00FF00FF00FF,0x0000FFFF0000FFFF, 0x00000000FFFFFFFF};    
-static word mask[6][2] =   {
-    {0x5555555555555555,0xAAAAAAAAAAAAAAAA},
-    {0x3333333333333333,0xCCCCCCCCCCCCCCCC},
-    {0x0F0F0F0F0F0F0F0F,0xF0F0F0F0F0F0F0F0},
-    {0x00FF00FF00FF00FF,0xFF00FF00FF00FF00},
-    {0x0000FFFF0000FFFF,0xFFFF0000FFFF0000},
-    {0x00000000FFFFFFFF,0xFFFFFFFF00000000}
-};
+#endif
+
+
+ABC_NAMESPACE_HEADER_START
 
 typedef struct  
 {
diff --git a/src/bool/lucky/luckySwap.c b/src/bool/lucky/luckySwap.c
index cd3adaa6..46db2b0f 100644
--- a/src/bool/lucky/luckySwap.c
+++ b/src/bool/lucky/luckySwap.c
@@ -19,6 +19,19 @@
 ABC_NAMESPACE_IMPL_START
 
 
+static word mask0[6] = { 0x5555555555555555,0x3333333333333333, 0x0F0F0F0F0F0F0F0F,0x00FF00FF00FF00FF,0x0000FFFF0000FFFF, 0x00000000FFFFFFFF};    
+/*
+static word mask1[6] = { 0xAAAAAAAAAAAAAAAA,0xCCCCCCCCCCCCCCCC, 0xF0F0F0F0F0F0F0F0,0xFF00FF00FF00FF00,0xFFFF0000FFFF0000, 0xFFFFFFFF00000000 };
+static word mask[6][2] =   {
+    {0x5555555555555555,0xAAAAAAAAAAAAAAAA},
+    {0x3333333333333333,0xCCCCCCCCCCCCCCCC},
+    {0x0F0F0F0F0F0F0F0F,0xF0F0F0F0F0F0F0F0},
+    {0x00FF00FF00FF00FF,0xFF00FF00FF00FF00},
+    {0x0000FFFF0000FFFF,0xFFFF0000FFFF0000},
+    {0x00000000FFFFFFFF,0xFFFFFFFF00000000}
+};
+*/
+
 inline int Kit_TruthWordNum_64bit( int nVars )  { return nVars <= 6 ? 1 : (1 << (nVars - 6));}
 
 inline int Kit_WordCountOnes_64bit(word x)
-- 
cgit v1.2.3