Browse Source

Fixed a stray void* to char* conversion (still trying to please Clang)

Former-commit-id: eb1514ffb1
tempestpy_adaptions
PBerger 11 years ago
parent
commit
8e93238e18
  1. 4
      resources/3rdparty/cudd-2.5.0/src/nanotrav/ucbqsort.c

4
resources/3rdparty/cudd-2.5.0/src/nanotrav/ucbqsort.c

@ -121,7 +121,7 @@ qst(void *base, char *max)
* max with loser of first and take larger. Things are set up to * max with loser of first and take larger. Things are set up to
* prefer the middle, then the first in case of ties. * prefer the middle, then the first in case of ties.
*/ */
lo = max - base; /* number of elements as chars */
lo = max - ((char*)base); /* number of elements as chars */
do { do {
mid = i = ((char*)base) + qsz * ((lo / qsz) >> 1); mid = i = ((char*)base) + qsz * ((lo / qsz) >> 1);
if (lo >= mthresh) { if (lo >= mthresh) {
@ -189,7 +189,7 @@ qst(void *base, char *max)
* of at least size THRESH. * of at least size THRESH.
*/ */
i = (j = mid) + qsz; i = (j = mid) + qsz;
if ((lo = j - base) <= (hi = max - i)) {
if ((lo = j - ((char*)base)) <= (hi = max - i)) {
if (lo >= thresh) if (lo >= thresh)
qst(base, j); qst(base, j);
base = i; base = i;

Loading…
Cancel
Save