1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
/*-
* Copyright (c) 2023 Dag-Erling Smørgrav
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <limits.h>
#include <stdckdint.h>
#include <atf-c.h>
ATF_TC_WITHOUT_HEAD(ckd_add);
ATF_TC_BODY(ckd_add, tc)
{
int result;
ATF_CHECK(!ckd_add(&result, INT_MAX, 0));
ATF_CHECK_EQ(INT_MAX, result);
ATF_CHECK(ckd_add(&result, INT_MAX, 1));
ATF_CHECK_EQ(INT_MIN, result);
}
ATF_TC_WITHOUT_HEAD(ckd_sub);
ATF_TC_BODY(ckd_sub, tc)
{
int result;
ATF_CHECK(!ckd_sub(&result, INT_MIN, 0));
ATF_CHECK_EQ(INT_MIN, result);
ATF_CHECK(ckd_sub(&result, INT_MIN, 1));
ATF_CHECK_EQ(INT_MAX, result);
}
ATF_TC_WITHOUT_HEAD(ckd_mul);
ATF_TC_BODY(ckd_mul, tc)
{
int result;
ATF_CHECK(!ckd_mul(&result, INT_MAX / 2, 2));
ATF_CHECK_EQ(INT_MAX - 1, result);
ATF_CHECK(ckd_mul(&result, INT_MAX / 2 + 1, 2));
ATF_CHECK_EQ(INT_MIN, result);
}
ATF_TP_ADD_TCS(tp)
{
ATF_TP_ADD_TC(tp, ckd_add);
ATF_TP_ADD_TC(tp, ckd_sub);
ATF_TP_ADD_TC(tp, ckd_mul);
return (atf_no_error());
}
|
