summaryrefslogtreecommitdiff
path: root/tests/test_int_add.c
blob: bd76ac53208848b51a01757fdd7e6c6bedd6c937 (plain)
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
#include <assert.h>
#include <stdio.h>

#include "json.h"

int main(int argc, char **argv)
{
	json_object *tmp = json_object_new_int(123);
	json_object_int_inc(tmp, 123);
	assert(json_object_get_int(tmp) == 246);
	json_object_put(tmp);
	printf("INT ADD PASSED\n");
	tmp = json_object_new_int(INT32_MAX);
	json_object_int_inc(tmp, 100);
	assert(json_object_get_int(tmp) == INT32_MAX);
	assert(json_object_get_int64(tmp) == (int64_t)INT32_MAX + 100L);
	json_object_put(tmp);
	printf("INT ADD OVERFLOW PASSED\n");
	tmp = json_object_new_int(INT32_MIN);
	json_object_int_inc(tmp, -100);
	assert(json_object_get_int(tmp) == INT32_MIN);
	assert(json_object_get_int64(tmp) == (int64_t)INT32_MIN - 100L);
	json_object_put(tmp);
	printf("INT ADD UNDERFLOW PASSED\n");
	tmp = json_object_new_int64(321321321);
	json_object_int_inc(tmp, 321321321);
	assert(json_object_get_int(tmp) == 642642642);
	json_object_uint_inc(tmp, 321321321U);
	assert(json_object_get_int(tmp) == 963963963);
	json_object_put(tmp);
	printf("INT64 ADD PASSED\n");
	tmp = json_object_new_int64(INT64_MAX);
	json_object_int_inc(tmp, 100);
	assert(json_object_get_int64(tmp) == INT64_MAX);
	assert(json_object_get_uint64(tmp) == (uint64_t)INT64_MAX + 100U);
	json_object_int_inc(tmp, -100);
	assert(json_object_get_int64(tmp) == INT64_MAX);
	assert(json_object_get_uint64(tmp) == (uint64_t)INT64_MAX);
	json_object_put(tmp);
	tmp = json_object_new_int64(100);
	json_object_uint_inc(tmp, 100);
	assert(json_object_get_int64(tmp) == 200);
	json_object_uint_inc(tmp, (uint64_t)INT64_MAX);
	assert(json_object_get_int64(tmp) == INT64_MAX);
	assert(json_object_get_uint64(tmp) == (uint64_t)INT64_MAX+200);
	json_object_uint_inc(tmp, UINT64_MAX);
	assert(json_object_get_int64(tmp) == INT64_MAX);
	assert(json_object_get_uint64(tmp) == UINT64_MAX);
	json_object_put(tmp);
	printf("INT64 ADD OVERFLOW PASSED\n");
	tmp = json_object_new_int64(INT64_MIN);
	json_object_int_inc(tmp, -100);
	assert(json_object_get_int64(tmp) == INT64_MIN);
	json_object_int_inc(tmp, 100);
	assert(json_object_get_int64(tmp) != INT64_MIN);
	json_object_put(tmp);
	printf("INT64 ADD UNDERFLOW PASSED\n");
	tmp = json_object_new_uint64(321321321);
	json_object_uint_inc(tmp, 321321321);
	assert(json_object_get_uint64(tmp) == 642642642);
	json_object_put(tmp);
  // uint64 + negative int64--> negative int64
	tmp = json_object_new_uint64(400);
	json_object_int_inc(tmp, -200);
	assert(json_object_get_int64(tmp) == 200);
	assert(json_object_get_uint64(tmp) == 200);
	json_object_put(tmp);
	printf("UINT64 ADD PASSED\n");
	tmp = json_object_new_uint64(UINT64_MAX);
	json_object_uint_inc(tmp, 100);
	assert(json_object_get_uint64(tmp) == UINT64_MAX);
	json_object_put(tmp);
	tmp = json_object_new_uint64(UINT64_MAX - 100);
	json_object_uint_inc(tmp, 200);
	assert(json_object_get_uint64(tmp) == UINT64_MAX);
	json_object_put(tmp);
	printf("UINT64 ADD OVERFLOW PASSED\n");
	tmp = json_object_new_uint64(100);
	json_object_int_inc(tmp, -200);
	assert(json_object_get_int64(tmp) == -100);
	assert(json_object_get_uint64(tmp) == 0);
	json_object_put(tmp);
	printf("UINT64 ADD UNDERFLOW PASSED\n");

	printf("PASSED\n");
	return 0;
}