Lev Walkin | b228447 | 2017-07-14 15:18:30 +0400 | [diff] [blame] | 1 | /* |
| 2 | * Verify OER with constrained INTEGER code gen. |
| 3 | */ |
| 4 | #undef NDEBUG |
| 5 | #include <stdio.h> |
| 6 | #include <stdlib.h> |
| 7 | #include <sys/types.h> |
| 8 | #include <string.h> |
| 9 | #include <assert.h> |
| 10 | #include <ctype.h> |
| 11 | #include <errno.h> |
| 12 | |
| 13 | #include <T.h> |
| 14 | |
| 15 | int main() { |
Lev Walkin | 4a06e6a | 2017-07-20 14:52:46 +0300 | [diff] [blame] | 16 | uint8_t tmpbuf[128]; |
Lev Walkin | 7eac0df | 2017-07-25 09:32:01 -0700 | [diff] [blame] | 17 | T_t source; |
| 18 | T_t *decoded = 0; /* "= 0" is important */ |
Lev Walkin | b228447 | 2017-07-14 15:18:30 +0400 | [diff] [blame] | 19 | |
Lev Walkin | 7eac0df | 2017-07-25 09:32:01 -0700 | [diff] [blame] | 20 | memset(&source, 0, sizeof(source)); |
Lev Walkin | b228447 | 2017-07-14 15:18:30 +0400 | [diff] [blame] | 21 | |
Lev Walkin | 4a06e6a | 2017-07-20 14:52:46 +0300 | [diff] [blame] | 22 | asn_enc_rval_t er = |
Lev Walkin | 7eac0df | 2017-07-25 09:32:01 -0700 | [diff] [blame] | 23 | oer_encode_to_buffer(&asn_DEF_T, 0, &source, tmpbuf, sizeof(tmpbuf)); |
Lev Walkin | 4a06e6a | 2017-07-20 14:52:46 +0300 | [diff] [blame] | 24 | assert(er.encoded != -1); |
| 25 | |
| 26 | asn_dec_rval_t dr = |
Lev Walkin | 7eac0df | 2017-07-25 09:32:01 -0700 | [diff] [blame] | 27 | oer_decode(0, &asn_DEF_T, (void **)&decoded, tmpbuf, er.encoded); |
Lev Walkin | 4a06e6a | 2017-07-20 14:52:46 +0300 | [diff] [blame] | 28 | |
| 29 | assert(dr.code == RC_OK); |
Lev Walkin | 6cea145 | 2017-07-24 01:49:39 +0400 | [diff] [blame] | 30 | if(dr.consumed != er.encoded) { |
| 31 | ASN_DEBUG("Consumed %zu, expected %zu", dr.consumed, er.encoded); |
| 32 | assert(dr.consumed == er.encoded); |
| 33 | } |
| 34 | |
Lev Walkin | 7eac0df | 2017-07-25 09:32:01 -0700 | [diff] [blame] | 35 | if(XEQ_SUCCESS != xer_equivalent(&asn_DEF_T, &source, decoded, stderr)) { |
| 36 | return 1; |
| 37 | } |
Lev Walkin | 4a06e6a | 2017-07-20 14:52:46 +0300 | [diff] [blame] | 38 | |
| 39 | return 0; |
Lev Walkin | b228447 | 2017-07-14 15:18:30 +0400 | [diff] [blame] | 40 | } |
| 41 | |