From 01569b8f5f2394c534c3aba7276caf22493fce82 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 5 Mar 2019 15:57:50 -0800 Subject: Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc. --- src/proof/fraig/fraigVec.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/proof/fraig/fraigVec.c') 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 ); } -- cgit v1.2.3