line |
true |
false |
branch |
38
|
337 |
277 |
if (cmp(x, lx, payload) < 0) |
41
|
0 |
277 |
else if (cmp(x, lx, payload) == 0) { |
43
|
0 |
0 |
while (cmp(x, dst[i], payload) == 0) |
52
|
166 |
282 |
if (val < 0) { |
53
|
76 |
90 |
if (c - l <= 1) return c; |
55
|
282 |
0 |
} else if (val > 0) { |
56
|
201 |
81 |
if (r - c <= 1) return c + 1; |
62
|
0 |
0 |
} while (cmp(x, cx, payload) == 0); |
78
|
970 |
420 |
for (i = start; i < size; i++) { |
81
|
356 |
614 |
if (cmp(dst[i - 1], dst[i], payload) <= 0) |
87
|
1280 |
614 |
for (j = (int)i - 1; j >= location; j--) { |
110
|
0 |
0 |
while (start < end) { |
125
|
0 |
0 |
if (size - start == 1) |
128
|
0 |
0 |
if (start >= size - 2) { |
129
|
0 |
0 |
if (store->cmp(dst[size - 2], dst[size - 1], store->payload) > 0) { |
138
|
0 |
0 |
if (store->cmp(dst[start], dst[start + 1], store->payload) <= 0) { |
158
|
0 |
0 |
while (n >= 64) { |
167
|
0 |
0 |
if (stack_curr < 2) |
170
|
0 |
0 |
else if (stack_curr == 2) { |
178
|
0 |
0 |
return !((A <= B + C) || (B <= C)); |
|
0 |
0 |
return !((A <= B + C) || (B <= C)); |
184
|
0 |
0 |
if (store->alloc < new_size) { |
194
|
0 |
0 |
if (tempstore == NULL) |
213
|
0 |
0 |
if (resize(store, MIN(A, B)) < 0) |
219
|
0 |
0 |
if (A < B) { |
224
|
0 |
0 |
for (k = curr; k < curr + A + B; k++) { |
225
|
0 |
0 |
if ((i < A) && (j < curr + A + B)) { |
|
0 |
0 |
if ((i < A) && (j < curr + A + B)) { |
226
|
0 |
0 |
if (store->cmp(storage[i], dst[j], store->payload) <= 0) |
230
|
0 |
0 |
} else if (i < A) { |
240
|
0 |
0 |
for (k = curr + A + B - 1; k >= curr; k--) { |
241
|
0 |
0 |
if ((i >= 0) && (j >= curr)) { |
|
0 |
0 |
if ((i >= 0) && (j >= curr)) { |
242
|
0 |
0 |
if (store->cmp(dst[j], storage[i], store->payload) > 0) |
246
|
0 |
0 |
} else if (i >= 0) |
260
|
0 |
0 |
if (stack_curr <= 1) |
264
|
0 |
0 |
if ((stack_curr == 2) && (stack[0].length + stack[1].length == size)) { |
|
0 |
0 |
if ((stack_curr == 2) && (stack[0].length + stack[1].length == size)) { |
272
|
0 |
0 |
else if ((stack_curr == 2) && (stack[0].length <= stack[1].length)) { |
|
0 |
0 |
else if ((stack_curr == 2) && (stack[0].length <= stack[1].length)) { |
278
|
0 |
0 |
else if (stack_curr == 2) |
286
|
0 |
0 |
if (A <= B + C) { |
287
|
0 |
0 |
if (A < C) { |
297
|
0 |
0 |
} else if (B <= C) { |
346
|
420 |
0 |
if (size < 64) { |
360
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
361
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
362
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
365
|
0 |
0 |
if (!check_invariant(run_stack, stack_curr)) { |
370
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |
|
0 |
0 |
PUSH_NEXT(); |