7 files changed, 12 insertions, 12 deletions

diff --git a/src/sat/satoko/solver.c b/src/sat/satoko/solver.c
index b1596345..8f7dd875 100644
--- a/src/sat/satoko/solver.c
+++ b/src/sat/satoko/solver.c
@@ -173,7 +173,7 @@ static inline void clause_realloc(struct cdb *dest, struct cdb *src, unsigned *c
     }
     new_cref = cdb_append(dest, 3 + old_clause->f_learnt + old_clause->size);
     new_clause = cdb_handler(dest, new_cref);
-    memcpy(new_clause, old_clause, (3 + old_clause->f_learnt + old_clause->size) * 4);
+    memcpy(new_clause, old_clause, (size_t)((3 + old_clause->f_learnt + old_clause->size) * 4));
     old_clause->f_reallocd = 1;
     old_clause->size = (unsigned) new_cref;
     *cref = new_cref;
diff --git a/src/sat/satoko/solver_api.c b/src/sat/satoko/solver_api.c
index 0193b1c3..4775e445 100644
--- a/src/sat/satoko/solver_api.c
+++ b/src/sat/satoko/solver_api.c
@@ -259,7 +259,7 @@ int satoko_add_clause(solver_t *s, int *lits, int size)
     unsigned max_var;
     unsigned cref;
 
-    qsort((void *) lits, size, sizeof(unsigned), stk_uint_compare);
+    qsort((void *) lits, (size_t)size, sizeof(unsigned), stk_uint_compare);
     max_var = lit2var(lits[size - 1]);
     while (max_var >= vec_act_size(s->activity))
         satoko_add_variable(s, SATOKO_LIT_FALSE);
diff --git a/src/sat/satoko/utils/vec/vec_char.h b/src/sat/satoko/utils/vec/vec_char.h
index 7d5732ec..4d780b22 100644
--- a/src/sat/satoko/utils/vec/vec_char.h
+++ b/src/sat/satoko/utils/vec/vec_char.h
@@ -233,10 +233,10 @@ static inline int vec_char_desc_compare(const void *p1, const void *p2)
 static inline void vec_char_sort(vec_char_t *p, int ascending)
 {
     if (ascending)
-        qsort((void *) p->data, p->size, sizeof(char),
+        qsort((void *) p->data, (size_t)p->size, sizeof(char),
               (int (*)(const void *, const void *)) vec_char_asc_compare);
     else
-        qsort((void*) p->data, p->size, sizeof(char),
+        qsort((void*) p->data, (size_t)p->size, sizeof(char),
               (int (*)(const void *, const void *)) vec_char_desc_compare);
 }
 
diff --git a/src/sat/satoko/utils/vec/vec_flt.h b/src/sat/satoko/utils/vec/vec_flt.h
index d7c896d9..8dd7b2ac 100644
--- a/src/sat/satoko/utils/vec/vec_flt.h
+++ b/src/sat/satoko/utils/vec/vec_flt.h
@@ -220,10 +220,10 @@ static inline int vec_flt_desc_compare(const void* p1, const void* p2)
 static inline void vec_flt_sort(vec_flt_t* p, int ascending)
 {
     if (ascending)
-        qsort((void *) p->data, p->size, sizeof(float),
+        qsort((void *) p->data, (size_t)p->size, sizeof(float),
               (int (*)(const void*, const void*)) vec_flt_asc_compare);
     else
-        qsort((void *) p->data, p->size, sizeof(float),
+        qsort((void *) p->data, (size_t)p->size, sizeof(float),
               (int (*)(const void*, const void*)) vec_flt_desc_compare);
 }
 
diff --git a/src/sat/satoko/utils/vec/vec_int.h b/src/sat/satoko/utils/vec/vec_int.h
index 75c5d134..d310fd45 100755
--- a/src/sat/satoko/utils/vec/vec_int.h
+++ b/src/sat/satoko/utils/vec/vec_int.h
@@ -214,10 +214,10 @@ static inline int vec_int_desc_compare(const void* p1, const void* p2)
 static inline void vec_int_sort(vec_int_t* p, int ascending)
 {
     if (ascending)
-        qsort((void *) p->data, p->size, sizeof(int),
+        qsort((void *) p->data, (size_t)p->size, sizeof(int),
               (int (*)(const void*, const void*)) vec_int_asc_compare);
     else
-        qsort((void *) p->data, p->size, sizeof(int),
+        qsort((void *) p->data, (size_t)p->size, sizeof(int),
               (int (*)(const void*, const void*)) vec_int_desc_compare);
 }
 
diff --git a/src/sat/satoko/utils/vec/vec_sdbl.h b/src/sat/satoko/utils/vec/vec_sdbl.h
index ec1c731c..89127412 100755
--- a/src/sat/satoko/utils/vec/vec_sdbl.h
+++ b/src/sat/satoko/utils/vec/vec_sdbl.h
@@ -227,10 +227,10 @@ static inline int vec_sdbl_desc_compare(const void* p1, const void* p2)
 static inline void vec_sdbl_sort(vec_sdbl_t* p, int ascending)
 {
     if (ascending)
-        qsort((void *) p->data, p->size, sizeof(sdbl_t),
+        qsort((void *) p->data, (size_t)p->size, sizeof(sdbl_t),
               (int (*)(const void*, const void*)) vec_sdbl_asc_compare);
     else
-        qsort((void *) p->data, p->size, sizeof(sdbl_t),
+        qsort((void *) p->data, (size_t)p->size, sizeof(sdbl_t),
               (int (*)(const void*, const void*)) vec_sdbl_desc_compare);
 }
 
diff --git a/src/sat/satoko/utils/vec/vec_uint.h b/src/sat/satoko/utils/vec/vec_uint.h
index e6719ca3..ef094236 100755
--- a/src/sat/satoko/utils/vec/vec_uint.h
+++ b/src/sat/satoko/utils/vec/vec_uint.h
@@ -242,10 +242,10 @@ static inline int vec_uint_desc_compare(const void *p1, const void *p2)
 static inline void vec_uint_sort(vec_uint_t *p, int ascending)
 {
     if (ascending)
-        qsort((void *) p->data, p->size, sizeof(unsigned),
+        qsort((void *) p->data, (size_t)p->size, sizeof(unsigned),
               (int (*)(const void *, const void *)) vec_uint_asc_compare);
     else
-        qsort((void*) p->data, p->size, sizeof(unsigned),
+        qsort((void*) p->data, (size_t)p->size, sizeof(unsigned),
               (int (*)(const void *, const void *)) vec_uint_desc_compare);
 }