Lines Matching refs:UINT64_MAX

66 	zassert_false(u64_add_overflow(0, UINT64_MAX, &result));
67 	zassert_equal(result, UINT64_MAX);
68 	zassert_true(u64_add_overflow(1, UINT64_MAX, &result));
71 	zassert_false(u64_add_overflow(UINT64_MAX, 0, &result));
72 	zassert_equal(result, UINT64_MAX);
73 	zassert_true(u64_add_overflow(UINT64_MAX, 2, &result));
84 	zassert_false(u64_mul_overflow(UINT64_MAX, 1, &result));
85 	zassert_equal(result, UINT64_MAX);
86 	zassert_true(u64_mul_overflow(UINT64_MAX, 2, &result));
87 	zassert_equal(result, UINT64_MAX * 2);
89 	zassert_false(u64_mul_overflow(1, UINT64_MAX, &result));
90 	zassert_equal(result, UINT64_MAX);
91 	zassert_true(u64_mul_overflow(2, UINT64_MAX, &result));
92 	zassert_equal(result, UINT64_MAX * 2);