readpos 85 user/testbin/psort/psort.c int frontpos, readpos, endpos, i, j;
readpos 97 user/testbin/psort/psort.c readpos = 0;
readpos 99 user/testbin/psort/psort.c while (readpos < endpos) {
readpos 100 user/testbin/psort/psort.c if (v[readpos] < pivotval) {
readpos 101 user/testbin/psort/psort.c v[frontpos++] = v[readpos++];
readpos 103 user/testbin/psort/psort.c else if (v[readpos] == pivotval) {
readpos 104 user/testbin/psort/psort.c readpos++;
readpos 109 user/testbin/psort/psort.c v[endpos] = v[readpos];
readpos 110 user/testbin/psort/psort.c v[readpos] = tmp;
readpos 113 user/testbin/psort/psort.c assert(readpos == endpos);
readpos 114 user/testbin/psort/psort.c assert(frontpos + pivotcount == readpos);