blob: 5beff7d6c7fe199e5c942fb5f0d6d2ce11b8f865 [file] [log] [blame]
Lev Walkin4eceeba2007-07-23 06:48:26 +00001#include <stdio.h>
2#include <assert.h>
3
Lev Walkin6cbed3d2017-10-07 16:42:41 -07004#include <asn_application.h>
Lev Walkin4eceeba2007-07-23 06:48:26 +00005#include <INTEGER.h>
Lev Walkinf15320b2004-06-03 03:38:44 +00006
Lev Walkin6cbed3d2017-10-07 16:42:41 -07007#define CHECK_XER(a,b,c) check_xer(__LINE__, a, b, c)
8
Lev Walkindb13f512004-07-19 17:30:25 +00009static char *shared_scratch_start;
10
11static int _print2buf(const void *buf, size_t size, void *key) {
12 (void)key;
13 memcpy(shared_scratch_start, buf, size);
14 shared_scratch_start += size;
15 *shared_scratch_start = '\0'; /* 0-termination */
16 return 0;
17}
18
Lev Walkinf15320b2004-06-03 03:38:44 +000019static void
Lev Walkin494fb702017-08-07 20:07:00 -070020check(uint8_t *buf, size_t size, long check_long, int check_ret) {
Lev Walkindb13f512004-07-19 17:30:25 +000021 char scratch[128];
22 char verify[32];
Lev Walkinf15320b2004-06-03 03:38:44 +000023 INTEGER_t val;
Lev Walkindb13f512004-07-19 17:30:25 +000024 uint8_t *buf_end = buf + size;
Lev Walkinf15320b2004-06-03 03:38:44 +000025 int ret;
26 long rlong = 123;
27
28 assert(buf);
Vasil Velichkov72b10442017-10-19 04:38:38 +030029 assert(size > 0);
Lev Walkinf15320b2004-06-03 03:38:44 +000030
31 val.buf = buf;
32 val.size = size;
33
Lev Walkindb13f512004-07-19 17:30:25 +000034 printf("Testing: [");
35 for(; buf < buf_end; buf++) {
36 if(buf != val.buf) printf(":");
37 printf("%02x", *buf);
38 }
39 printf("]: ");
Lev Walkinf15320b2004-06-03 03:38:44 +000040
Lev Walkin5e033762004-09-29 13:26:15 +000041 ret = asn_INTEGER2long(&val, &rlong);
Lev Walkindb13f512004-07-19 17:30:25 +000042 printf(" (%ld, %d) vs (%ld, %d)\n",
Lev Walkinf15320b2004-06-03 03:38:44 +000043 rlong, ret, check_long, check_ret);
44 assert(ret == check_ret);
Lev Walkin33700162004-10-26 09:03:31 +000045 printf("%ld %ld\n", rlong, check_long);
Lev Walkinf15320b2004-06-03 03:38:44 +000046 assert(rlong == check_long);
Lev Walkindb13f512004-07-19 17:30:25 +000047
Lev Walkinc698ee52004-10-21 11:19:51 +000048 if(check_ret == 0) {
49 INTEGER_t val2;
50 long rlong2;
51 val2.buf = 0;
52 val2.size = 0;
53 ret = asn_long2INTEGER(&val2, rlong);
54 assert(ret == 0);
55 assert(val2.buf);
56 assert(val2.size <= val.size); /* At least as compact */
57 ret = asn_INTEGER2long(&val, &rlong2);
58 assert(ret == 0);
59 assert(rlong == rlong2);
Lev Walkin229ad002017-09-18 20:13:49 -070060 ASN_STRUCT_RESET(asn_DEF_INTEGER, &val2);
Lev Walkinc698ee52004-10-21 11:19:51 +000061 }
62
Lev Walkindb13f512004-07-19 17:30:25 +000063 shared_scratch_start = scratch;
Lev Walkin5e033762004-09-29 13:26:15 +000064 ret = INTEGER_print(&asn_DEF_INTEGER, &val, 0, _print2buf, scratch);
Lev Walkindb13f512004-07-19 17:30:25 +000065 assert(shared_scratch_start < scratch + sizeof(scratch));
66 assert(ret == 0);
67 ret = snprintf(verify, sizeof(verify), "%ld", check_long);
Lev Walkin97363482016-01-24 19:23:02 -080068 assert(ret < 0 || (size_t)ret < sizeof(verify));
Lev Walkindb13f512004-07-19 17:30:25 +000069 ret = strcmp(scratch, verify);
70 printf(" [%s] vs [%s]: %d%s\n",
71 scratch, verify, ret,
72 (check_ret == -1)?" (expected to fail)":""
73 );
74 if(check_ret == -1) {
75 assert(strcmp(scratch, verify));
76 } else {
77 assert(strcmp(scratch, verify) == 0);
78 }
Lev Walkinf15320b2004-06-03 03:38:44 +000079}
80
Lev Walkin0be3a992004-10-21 12:11:57 +000081static void
Lev Walkin5c879db2007-11-06 06:23:31 +000082check_unsigned(uint8_t *buf, int size, unsigned long check_long, int check_ret) {
83 char scratch[128];
84 char verify[32];
85 INTEGER_t val;
86 uint8_t *buf_end = buf + size;
87 int ret;
88 unsigned long rlong = 123;
89
90 assert(buf);
91 assert(size >= 0);
92
93 val.buf = buf;
94 val.size = size;
95
96 printf("Testing: [");
97 for(; buf < buf_end; buf++) {
98 if(buf != val.buf) printf(":");
99 printf("%02x", *buf);
100 }
101 printf("]: ");
102
103 ret = asn_INTEGER2ulong(&val, &rlong);
104 printf(" (%lu, %d) vs (%lu, %d)\n",
105 rlong, ret, check_long, check_ret);
106 assert(ret == check_ret);
Lev Walkin5c879db2007-11-06 06:23:31 +0000107 assert(rlong == check_long);
108
109 if(check_ret == 0) {
110 INTEGER_t val2;
111 unsigned long rlong2;
112 val2.buf = 0;
113 val2.size = 0;
114 ret = asn_ulong2INTEGER(&val2, rlong);
115 assert(ret == 0);
116 assert(val2.buf);
117 if(val2.size > val.size) {
118 /* At least as compact */
119 printf("val2.size=%d, val.size=%d\n",
120 (int)val2.size, (int)val.size);
121 assert(val2.size <= val.size);
122 }
123 ret = asn_INTEGER2ulong(&val, &rlong2);
124 assert(ret == 0);
125 assert(rlong == rlong2);
Lev Walkin229ad002017-09-18 20:13:49 -0700126 ASN_STRUCT_RESET(asn_DEF_INTEGER, &val2);
Lev Walkin5c879db2007-11-06 06:23:31 +0000127 }
128
Lev Walkin97f8edc2013-03-28 04:38:41 -0700129 return;
130
Lev Walkin5c879db2007-11-06 06:23:31 +0000131 shared_scratch_start = scratch;
132 ret = INTEGER_print(&asn_DEF_INTEGER, &val, 0, _print2buf, scratch);
133 assert(shared_scratch_start < scratch + sizeof(scratch));
134 assert(ret == 0);
Lev Walkin043babe2012-01-22 18:06:59 -0800135 ret = snprintf(verify, sizeof(verify), "%lu", check_long);
Vasil Velichkov72b10442017-10-19 04:38:38 +0300136 assert(ret < (int)sizeof(verify));
Lev Walkin5c879db2007-11-06 06:23:31 +0000137 ret = strcmp(scratch, verify);
138 printf(" [%s] vs [%s]: %d%s\n",
139 scratch, verify, ret,
140 (check_ret == -1)?" (expected to fail)":""
141 );
142 if(check_ret == -1) {
143 assert(strcmp(scratch, verify));
144 } else {
145 assert(strcmp(scratch, verify) == 0);
146 }
147}
148
149static void
Lev Walkin6cbed3d2017-10-07 16:42:41 -0700150check_xer(int lineno, int tofail, char *xmldata, long orig_value) {
Lev Walkin0be3a992004-10-21 12:11:57 +0000151 INTEGER_t *st = 0;
152 asn_dec_rval_t rc;
153 long value;
154 int ret;
155
Lev Walkin6cbed3d2017-10-07 16:42:41 -0700156 printf("%03d: [%s] vs %ld: ", lineno, xmldata, orig_value);
Lev Walkin0be3a992004-10-21 12:11:57 +0000157
158 rc = xer_decode(0, &asn_DEF_INTEGER, (void *)&st,
159 xmldata, strlen(xmldata));
160 if(rc.code != RC_OK) {
161 assert(tofail);
162 printf("\tfailed, as expected\n");
Lev Walkin229ad002017-09-18 20:13:49 -0700163 ASN_STRUCT_FREE(asn_DEF_INTEGER, st);
Lev Walkin0be3a992004-10-21 12:11:57 +0000164 return;
165 }
Lev Walkin6cbed3d2017-10-07 16:42:41 -0700166 if(tofail) {
167 printf("\tnot failed, as expected!\n");
168 assert(!tofail);
169 }
Lev Walkin0be3a992004-10-21 12:11:57 +0000170
171 ret = asn_INTEGER2long(st, &value);
172 assert(ret == 0);
173
174 printf("\t%ld\n", value);
175
176 assert(value == orig_value);
177
Bi-Ruei, Chiu1f87ac02017-08-20 01:25:45 +0800178 ASN_STRUCT_FREE(asn_DEF_INTEGER, st);
Lev Walkin0be3a992004-10-21 12:11:57 +0000179}
180
Lev Walkinf15320b2004-06-03 03:38:44 +0000181int
Lev Walkin97363482016-01-24 19:23:02 -0800182main() {
Lev Walkinf15320b2004-06-03 03:38:44 +0000183 uint8_t buf1[] = { 1 };
184 uint8_t buf2[] = { 0xff };
185 uint8_t buf3[] = { 0xff, 0xff, 0xff, 0xff, 0xff, 0xff };
186 uint8_t buf4[] = { 0xff, 0xff, 0xff, 0xff, 0xff, 0xf0 };
187 uint8_t buf5[] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1 };
188 uint8_t buf6[] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 };
189 uint8_t buf7[] = { 0xff, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 };
190 uint8_t buf8[] = { 0x7f, 0x7e, 0x7d, 0x7c };
191 uint8_t buf9[] = { 0, 0x7f, 0x7e, 0x7d, 0x7c };
192 uint8_t buf10[] = { 0, 0, 0, 0, 0, 0, 0x7f, 0x7e, 0x7d, 0x7c };
Lev Walkinc698ee52004-10-21 11:19:51 +0000193 uint8_t buf11[] = { 0x80, 0, 0, 0 };
194 uint8_t buf12[] = { 0x80, 0 };
195 uint8_t buf13[] = { 0x80 };
Lev Walkin5c879db2007-11-06 06:23:31 +0000196 uint8_t buf14[] = { 0x00, 0x80, 0x00, 0x00 };
197 uint8_t buf15[] = { 0x00, 0x80, 0x00, 0x00, 0x00 };
198 uint8_t buf16[] = { 0x00, 0xff, 0xff, 0x00, 0x00 };
199
200#define UCHECK(buf, val, ret) check_unsigned(buf, sizeof(buf), val, ret)
Lev Walkinf15320b2004-06-03 03:38:44 +0000201
202#define CHECK(buf, val, ret) check(buf, sizeof(buf), val, ret)
203
204 CHECK(buf1, 1, 0);
205 CHECK(buf2, -1, 0);
206 CHECK(buf3, -1, 0);
207 CHECK(buf4, -16, 0);
208 CHECK(buf5, 257, 0);
209 CHECK(buf6, 123, -1);
210 CHECK(buf7, 123, -1);
211 CHECK(buf8, 0x7F7E7D7C, 0);
212 CHECK(buf9, 0x7F7E7D7C, 0);
213 CHECK(buf10, 0x7F7E7D7C, 0);
Lev Walkin5c879db2007-11-06 06:23:31 +0000214 UCHECK(buf10, 0x7F7E7D7C, 0);
Lev Walkin3f36e462005-08-15 01:02:47 +0000215 CHECK(buf11, -2147483647-1, 0); /* 0x80000000 */
Lev Walkinc698ee52004-10-21 11:19:51 +0000216 CHECK(buf12, -32768, 0);
217 CHECK(buf13, -128, 0);
Lev Walkin5c879db2007-11-06 06:23:31 +0000218 UCHECK(buf14, 0x800000, 0);
Lev Walkin043babe2012-01-22 18:06:59 -0800219 UCHECK(buf15, 0x80000000UL, 0);
220 UCHECK(buf16, 0xffff0000UL, 0);
Lev Walkinf15320b2004-06-03 03:38:44 +0000221
Lev Walkin6cbed3d2017-10-07 16:42:41 -0700222 CHECK_XER(-1, "", 0);
223 CHECK_XER(-1, "<INTEGER></INTEGER>", 0);
224 CHECK_XER(-1, "<INTEGER> </INTEGER>", 0);
225 CHECK_XER(-1, "<INTEGER>-</INTEGER>", 0);
226 CHECK_XER(-1, "<INTEGER>+</INTEGER>", 0);
227 CHECK_XER(-1, "<INTEGER>+-</INTEGER>", 0);
228 CHECK_XER(-1, "<INTEGER> -</INTEGER>", 0);
229 CHECK_XER(-1, "<INTEGER> +</INTEGER>", 0);
230 CHECK_XER(-1, "<INTEGER> +-</INTEGER>", 0);
231 CHECK_XER(-1, "<INTEGER>- </INTEGER>", 0);
232 CHECK_XER(-1, "<INTEGER>+ </INTEGER>", 0);
233 CHECK_XER(-1, "<INTEGER>+- </INTEGER>", 0);
234 CHECK_XER(-1, "<INTEGER> - </INTEGER>", 0);
235 CHECK_XER(-1, "<INTEGER> + </INTEGER>", 0);
236 CHECK_XER(-1, "<INTEGER> +- </INTEGER>", 0);
237 CHECK_XER(0, "<INTEGER>+0</INTEGER>", 0);
238 CHECK_XER(0, "<INTEGER>-0</INTEGER>", 0);
239 CHECK_XER(0, "<INTEGER>+1</INTEGER>", 1);
240 CHECK_XER(0, "<INTEGER>-1</INTEGER>", -1);
241 CHECK_XER(0, "<INTEGER>1</INTEGER>", 1);
242 CHECK_XER(0, "<INTEGER>-15</INTEGER>", -15);
243 CHECK_XER(0, "<INTEGER>+15</INTEGER>", 15);
244 CHECK_XER(0, "<INTEGER>15</INTEGER>", 15);
245 CHECK_XER(0, "<INTEGER> 15</INTEGER>", 15);
246 CHECK_XER(0, "<INTEGER> 15 </INTEGER>", 15);
247 CHECK_XER(0, "<INTEGER>15 </INTEGER>", 15);
248 CHECK_XER(0, "<INTEGER> +15 </INTEGER>", 15);
249 CHECK_XER(-1, "<INTEGER> +15 -</INTEGER>", 0);
250 CHECK_XER(-1, "<INTEGER> +15 1</INTEGER>", 0);
251 CHECK_XER(-1, "<INTEGER>+ 15</INTEGER>", 0);
252 CHECK_XER(-1, "<INTEGER>12<z>34</INTEGER>", 0);
253 CHECK_XER(-1, "<INTEGER>12 <z>34</INTEGER>", 0);
254 CHECK_XER(-1, "<INTEGER>12 <z></INTEGER>", 0);
255 CHECK_XER(0, "<INTEGER>1234</INTEGER>", 1234);
256 CHECK_XER(-1, "<INTEGER>1234 5678</INTEGER>", 0);
257 CHECK_XER(0, "<INTEGER>-2147483647</INTEGER>", -2147483647);
258 CHECK_XER(0, "<INTEGER>-2147483648</INTEGER>", -2147483647-1);
259 CHECK_XER(0, "<INTEGER>+2147483647</INTEGER>", 2147483647);
260 CHECK_XER(0, "<INTEGER>2147483647</INTEGER>", 2147483647);
Lev Walkine59f7672004-10-23 10:17:02 +0000261 if(sizeof(long) == 4) {
Lev Walkin6cbed3d2017-10-07 16:42:41 -0700262 CHECK_XER( 0, "<INTEGER>-2147483648</INTEGER>", -2147483648);
263 CHECK_XER(-1, "<INTEGER>-2147483649</INTEGER>", 0);
264 CHECK_XER(-1, "<INTEGER>2147483648</INTEGER>", 0);
265 CHECK_XER(-1, "<INTEGER>2147483649</INTEGER>", 0);
266 CHECK_XER(-1, "<INTEGER>3147483649</INTEGER>", 0);
267 CHECK_XER(-1, "<INTEGER>4147483649</INTEGER>", 0);
268 CHECK_XER(-1, "<INTEGER>5147483649</INTEGER>", 0); /* special */
269 CHECK_XER(-1, "<INTEGER>9147483649</INTEGER>", 0);
270 CHECK_XER(-1, "<INTEGER>9999999999</INTEGER>", 0);
271 CHECK_XER(-1, "<INTEGER>-5147483649</INTEGER>", 0);/* special */
272 CHECK_XER(-1, "<INTEGER>-9147483649</INTEGER>", 0);
273 CHECK_XER(-1, "<INTEGER>-9999999999</INTEGER>", 0);
Lev Walkina7d1fb32012-01-23 01:21:55 +0000274 }
Lev Walkin6cbed3d2017-10-07 16:42:41 -0700275#ifdef TEST_64BIT
Lev Walkina7d1fb32012-01-23 01:21:55 +0000276 if(sizeof(long) == 8) {
Lev Walkin6cbed3d2017-10-07 16:42:41 -0700277 CHECK_XER(0, "<INTEGER>2147483648</INTEGER>", 2147483648);
278 CHECK_XER(0, "<INTEGER>2147483649</INTEGER>", 2147483649);
279 CHECK_XER(0, "<INTEGER>3147483649</INTEGER>", 3147483649);
280 CHECK_XER(0, "<INTEGER>4147483649</INTEGER>", 4147483649);
281 CHECK_XER(0, "<INTEGER>5147483649</INTEGER>", 5147483649);
282 CHECK_XER(0, "<INTEGER>9147483649</INTEGER>", 9147483649);
283 CHECK_XER(0, "<INTEGER>9999999999</INTEGER>", 9999999999);
284 CHECK_XER(0, "<INTEGER>9223372036854775807</INTEGER>", 9223372036854775807);
285 CHECK_XER(-1, "<INTEGER>9223372036854775808</INTEGER>", 0);
286 CHECK_XER(-1, "<INTEGER>10223372036854775807</INTEGER>", 0);
287 CHECK_XER(-1, "<INTEGER>50223372036854775807</INTEGER>", 0);
288 CHECK_XER(-1, "<INTEGER>100223372036854775807</INTEGER>", 0);
289 CHECK_XER(-1, "<INTEGER>500223372036854775807</INTEGER>", 0);
290 CHECK_XER(0, "<INTEGER>-9223372036854775808</INTEGER>", -9223372036854775807-1);
291 CHECK_XER(-1, "<INTEGER>-9223372036854775809</INTEGER>", 0);
292 CHECK_XER(-1, "<INTEGER>-10223372036854775807</INTEGER>", 0);
293 CHECK_XER(-1, "<INTEGER>-50223372036854775807</INTEGER>", 0);
294 CHECK_XER(-1, "<INTEGER>-100223372036854775807</INTEGER>", 0);
295 CHECK_XER(-1, "<INTEGER>-500223372036854775807</INTEGER>", 0);
296 } else {
297 assert(sizeof(long) == 8);
298 }
299#endif
Lev Walkin0be3a992004-10-21 12:11:57 +0000300
Lev Walkinf15320b2004-06-03 03:38:44 +0000301 return 0;
302}