cfc504e1e9
* Fix #1506 - Fix unsigned integer overflow in RzIO cache skyline * Add overflow check to `RzSkyline` APIs
77 lines
No EOL
3.1 KiB
C
77 lines
No EOL
3.1 KiB
C
// SPDX-FileCopyrightText: 2020 pancake <pancake@nopcode.org>
|
|
// SPDX-License-Identifier: LGPL-3.0-only
|
|
|
|
#include <rz_util.h>
|
|
#include "minunit.h"
|
|
|
|
int test_overflow_add(void) {
|
|
mu_assert_true(UT8_ADD_OVFCHK(250, 32), "ut8-add 1");
|
|
mu_assert_false(UT8_ADD_OVFCHK(250, 2), "ut8-add 2");
|
|
mu_assert_false(UT8_ADD_OVFCHK(UT8_MAX, 0), "ut8-add (max, 0)");
|
|
mu_assert_false(UT16_ADD_OVFCHK(ST16_MAX, 2), "ut16-add 2");
|
|
mu_assert_false(UT16_ADD_OVFCHK(UT16_MAX, 0), "ut16-add (max, 0)");
|
|
mu_assert_true(ST16_ADD_OVFCHK(ST16_MAX, 2), "st16-add 2");
|
|
mu_assert_true(ST16_ADD_OVFCHK(ST16_MAX - 2, 4), "st16-add 2");
|
|
mu_assert_true(ST16_ADD_OVFCHK(1, ST16_MAX), "st16-add 3");
|
|
mu_assert_false(UT32_ADD_OVFCHK(UT32_MAX, 0), "ut32-add (max, 0)");
|
|
mu_assert_false(UT64_ADD_OVFCHK(UT64_MAX, 0), "ut64-add (max, 0)");
|
|
mu_assert_false(ST64_ADD_OVFCHK(ST64_MAX, 0), "st64-add (max, 0)");
|
|
mu_assert_true(ST16_ADD_OVFCHK(ST16_MIN, -1), "st16-add (min, -1)");
|
|
mu_assert_true(UT16_ADD_OVFCHK(10, -20), "ut16-add (10, -20)");
|
|
mu_assert_false(ST16_ADD_OVFCHK(-10, 20), "st16-add (-10, 20)");
|
|
mu_assert_true(ST32_ADD_OVFCHK(ST32_MIN, -20), "st32-add (min, -20)");
|
|
mu_assert_false(ST32_ADD_OVFCHK(-10, 20), "st32-add (-10, 20)");
|
|
mu_assert_true(ST64_ADD_OVFCHK(ST64_MIN, -20), "st64-add (min, -20)");
|
|
mu_assert_false(ST64_ADD_OVFCHK(-10, 20), "st64-add 3");
|
|
mu_end;
|
|
}
|
|
|
|
int test_underflow_sub(void) {
|
|
mu_assert_false(ST16_SUB_OVFCHK(10, 210), "st16-sub-sign-underflow");
|
|
mu_assert_true(UT16_SUB_OVFCHK(10, 210), "ut16-sub-underflow");
|
|
mu_assert_true(ST16_SUB_OVFCHK(ST16_MIN, 210), "st16-sub-underflow");
|
|
mu_end;
|
|
}
|
|
|
|
int test_underflow_add(void) {
|
|
mu_assert_false(ST16_SUB_OVFCHK(10, -210), "st16-sub");
|
|
mu_assert_false(ST16_SUB_OVFCHK(10, 10), "st16-sub 10");
|
|
mu_assert_true(ST16_SUB_OVFCHK(ST16_MIN, 11), "st16-sub 10-11");
|
|
mu_assert_false(ST16_SUB_OVFCHK(10, 11), "st16-sub 10-11");
|
|
mu_assert_true(UT16_SUB_OVFCHK(10, 11), "ut16-sub 10-11");
|
|
mu_end;
|
|
}
|
|
|
|
int test_overflow_mul(void) {
|
|
mu_assert_true(UT8_MUL_OVFCHK(16, 32), "ut8-mul");
|
|
mu_assert_false(UT8_MUL_OVFCHK(16, 2), "ut8-mul 2");
|
|
mu_assert_true(ST8_MUL_OVFCHK(16, 100), "st8-mul 3");
|
|
mu_assert_false(ST8_MUL_OVFCHK(16, 1), "st8-mul 4");
|
|
mu_assert_false(ST8_MUL_OVFCHK(-2, 2), "st8-mul sign overflow");
|
|
mu_assert_false(ST8_MUL_OVFCHK(-1, 1), "st8-mul sign overflow");
|
|
mu_assert_false(ST8_MUL_OVFCHK(1, -1), "st8-mul sign overflow");
|
|
mu_assert_false(ST8_MUL_OVFCHK(2, -2), "st8-mul sign overflow");
|
|
mu_assert_false(ST8_MUL_OVFCHK(-1, -2), "st8-mul sign overflow");
|
|
mu_assert_false(ST8_MUL_OVFCHK(-2, -1), "st8-mul sign overflow");
|
|
mu_assert_true(ST8_MUL_OVFCHK(-16, 100), "st8-mul sign overflow");
|
|
mu_assert_true(ST8_MUL_OVFCHK(100, -16), "st8-mul sign overflow");
|
|
mu_assert_false(ST8_MUL_OVFCHK(3, -16), "st8-mul sign overflow");
|
|
mu_end;
|
|
}
|
|
|
|
int test_overflow_mul2(void) {
|
|
mu_assert_false(ST8_MUL_OVFCHK(-1, 0), "st8-mul2 -1 0");
|
|
mu_assert_false(ST8_MUL_OVFCHK(1, 0), "st8-mul2 -1 0");
|
|
mu_end;
|
|
}
|
|
|
|
int all_tests() {
|
|
mu_run_test(test_overflow_add);
|
|
mu_run_test(test_underflow_add);
|
|
mu_run_test(test_underflow_sub);
|
|
mu_run_test(test_overflow_mul);
|
|
mu_run_test(test_overflow_mul2);
|
|
return tests_passed != tests_run;
|
|
}
|
|
|
|
mu_main(all_tests) |