21dfa4300d
```
grep -Irl assert_ test/ | xargs sed -i \
's/witness_assert/witness_do_not_replace/g';
grep -Irl assert_ test/ | xargs sed -i \
's/malloc_mutex_assert_owner/malloc_mutex_do_not_replace_owner/g';
grep -Ir assert_ test/ | grep -o "[_a-zA-Z]*assert_[_a-zA-Z]*" | \
grep -v "^assert_"; # confirm no output
grep -Irl assert_ test/ | xargs sed -i 's/assert_/expect_/g';
grep -Irl witness_do_not_replace test/ | xargs sed -i \
's/witness_do_not_replace/witness_assert/g';
grep -Irl malloc_mutex_do_not_replace_owner test/ | xargs sed -i \
's/malloc_mutex_do_not_replace_owner/malloc_mutex_assert_owner/g';
```
30 lines
693 B
C
30 lines
693 B
C
#include "test/jemalloc_test.h"
|
|
|
|
#include "jemalloc/internal/div.h"
|
|
|
|
TEST_BEGIN(test_div_exhaustive) {
|
|
for (size_t divisor = 2; divisor < 1000 * 1000; ++divisor) {
|
|
div_info_t div_info;
|
|
div_init(&div_info, divisor);
|
|
size_t max = 1000 * divisor;
|
|
if (max < 1000 * 1000) {
|
|
max = 1000 * 1000;
|
|
}
|
|
for (size_t dividend = 0; dividend < 1000 * divisor;
|
|
dividend += divisor) {
|
|
size_t quotient = div_compute(
|
|
&div_info, dividend);
|
|
expect_zu_eq(dividend, quotient * divisor,
|
|
"With divisor = %zu, dividend = %zu, "
|
|
"got quotient %zu", divisor, dividend, quotient);
|
|
}
|
|
}
|
|
}
|
|
TEST_END
|
|
|
|
int
|
|
main(void) {
|
|
return test_no_reentrancy(
|
|
test_div_exhaustive);
|
|
}
|