Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/proof/fraig/fraigVec.c b/src/proof/fraig/fraigVec.c
index 25d50bf3..5670c112 100644
--- a/src/proof/fraig/fraigVec.c
+++ b/src/proof/fraig/fraigVec.c
@@ -501,10 +501,10 @@ int Fraig_NodeVecCompareRefCounts( Fraig_Node_t ** pp1, Fraig_Node_t ** pp2 )
 void Fraig_NodeVecSortByLevel( Fraig_NodeVec_t * p, int fIncreasing )
 {
     if ( fIncreasing )
-        qsort( (void *)p->pArray, p->nSize, sizeof(Fraig_Node_t *), 
+        qsort( (void *)p->pArray, (size_t)p->nSize, sizeof(Fraig_Node_t *), 
                 (int (*)(const void *, const void *)) Fraig_NodeVecCompareLevelsIncreasing );
     else 
-        qsort( (void *)p->pArray, p->nSize, sizeof(Fraig_Node_t *), 
+        qsort( (void *)p->pArray, (size_t)p->nSize, sizeof(Fraig_Node_t *), 
                 (int (*)(const void *, const void *)) Fraig_NodeVecCompareLevelsDecreasing );
 }
 
@@ -521,7 +521,7 @@ void Fraig_NodeVecSortByLevel( Fraig_NodeVec_t * p, int fIncreasing )
 ***********************************************************************/
 void Fraig_NodeVecSortByNumber( Fraig_NodeVec_t * p )
 {
-    qsort( (void *)p->pArray, p->nSize, sizeof(Fraig_Node_t *), 
+    qsort( (void *)p->pArray, (size_t)p->nSize, sizeof(Fraig_Node_t *), 
             (int (*)(const void *, const void *)) Fraig_NodeVecCompareNumbers );
 }
 
@@ -538,7 +538,7 @@ void Fraig_NodeVecSortByNumber( Fraig_NodeVec_t * p )
 ***********************************************************************/
 void Fraig_NodeVecSortByRefCount( Fraig_NodeVec_t * p )
 {
-    qsort( (void *)p->pArray, p->nSize, sizeof(Fraig_Node_t *), 
+    qsort( (void *)p->pArray, (size_t)p->nSize, sizeof(Fraig_Node_t *), 
             (int (*)(const void *, const void *)) Fraig_NodeVecCompareRefCounts );
 }