test OER encoding over the INTEGER value range
diff --git a/skeletons/tests/check-OER-INTEGER.c b/skeletons/tests/check-OER-INTEGER.c
index c5591cc..3658e7c 100644
--- a/skeletons/tests/check-OER-INTEGER.c
+++ b/skeletons/tests/check-OER-INTEGER.c
@@ -5,26 +5,25 @@
#include <INTEGER.h>
#define CHECK_DECODE(code, a, b, c, d, e, f) check_decode(__LINE__, code, a, b, c, d, e, f)
-#define CHECK_ROUNDTRIP(a, b, c) check_roundtrip(__LINE__, a, b, c);
+#define CHECK_ROUNDTRIP(a, b, c) check_roundtrip(__LINE__, a, b, c);
+#define CHECK_ENCODE_OK(a, b, c) check_encode(__LINE__, 0, a, b, c)
+#define CHECK_ENCODE_BAD(a, b, c) check_encode(__LINE__, 1, a, b, c);
static const intmax_t NoBound = -4200024;
-static void
-check_decode(int lineno, enum asn_dec_rval_code_e code, intmax_t control, const char *buf, size_t size, const char *dummy, intmax_t lower_bound, intmax_t upper_bound) {
- static char *code_s[] = { "RC_OK", "RC_WMORE", "RC_FAIL", "<error>" };
-
- fprintf(stderr, "%d: buf[%zu]={%d, %d, ...}\n", lineno, size,
- ((const uint8_t *)buf)[0],
- ((const uint8_t *)buf)[1]);
-
- INTEGER_t *st = NULL;
- asn_dec_rval_t ret;
- struct asn_oer_constraints_s empty_constraints = {{0,0,0}, {0,0,0}};
+static asn_oer_constraints_t *
+setup_constraints(int lineno, const char *process, intmax_t lower_bound,
+ intmax_t upper_bound) {
+ static struct asn_oer_constraints_s empty_constraints;
struct asn_oer_constraints_s *constraints = &empty_constraints;
struct asn_oer_constraint_s *ct_value = &constraints->value;
+ memset(&empty_constraints, 0, sizeof(empty_constraints));
+
/* Setup integer constraints as requested */
if(lower_bound == NoBound && upper_bound == NoBound) {
+ fprintf(stderr, "%d: OER %s without constraints\n", lineno,
+ process);
constraints = NULL;
} else {
if(lower_bound != NoBound) {
@@ -35,8 +34,41 @@
ct_value->flags |= AOC_HAS_UPPER_BOUND;
ct_value->upper_bound = upper_bound;
}
+ if(lower_bound != NoBound && upper_bound != NoBound) {
+ fprintf(stderr,
+ "%d: OER %s constraints %" PRIdMAX
+ "..%" PRIdMAX "\n",
+ lineno, process, lower_bound, upper_bound);
+ } else if(lower_bound != NoBound) {
+ fprintf(stderr,
+ "%d: OER %s constraints %" PRIdMAX
+ "..MAX\n",
+ lineno, process, lower_bound);
+ } else if(upper_bound != NoBound) {
+ fprintf(stderr,
+ "%d: OER %s constraints MIN..%" PRIdMAX "\n",
+ lineno, process, upper_bound);
+ }
}
+ return constraints;
+}
+
+static void
+check_decode(int lineno, enum asn_dec_rval_code_e code, intmax_t control, const char *buf, size_t size, const char *dummy, intmax_t lower_bound, intmax_t upper_bound) {
+ static char *code_s[] = { "RC_OK", "RC_WMORE", "RC_FAIL", "<error>" };
+
+ fprintf(stderr, "\n%d: OER decode (control %" PRIdMAX ")\n", lineno, control);
+
+ INTEGER_t *st = NULL;
+ asn_dec_rval_t ret;
+ asn_oer_constraints_t *constraints =
+ setup_constraints(lineno, "decoding", lower_bound, upper_bound);
+
+ fprintf(stderr, "%d: buf[%zu]={%d, %d, ...}\n", lineno, size,
+ ((const uint8_t *)buf)[0],
+ ((const uint8_t *)buf)[1]);
+
(void)dummy;
ret = asn_DEF_INTEGER.oer_decoder(0, &asn_DEF_INTEGER, constraints,
@@ -77,46 +109,51 @@
fprintf(stderr, "%d: Decode result %" PRIdMAX "\n", lineno, control);
}
+static void
+dump_data(int lineno, const uint8_t *buf, size_t size) {
+ const uint8_t *p = buf;
+ const uint8_t *end = buf + size;
+
+ fprintf(stderr, "%d: Encoded: [", lineno);
+
+ for(; p < end; p++) {
+ fprintf(stderr, "\\x%02x", *(const unsigned char *)p);
+ }
+ fprintf(stderr, "] (%zu bytes)\n", size);
+}
static void
check_roundtrip(int lineno, intmax_t value, intmax_t lower_bound, intmax_t upper_bound) {
uint8_t tmpbuf[32];
size_t tmpbuf_size;
+ fprintf(stderr, "\n%d: OER round-trip value %" PRIdMAX "\n", lineno, value);
+
INTEGER_t *stOut = (INTEGER_t *)calloc(1, sizeof(*stOut));
INTEGER_t *stIn = NULL;
asn_enc_rval_t er;
asn_dec_rval_t ret;
- struct asn_oer_constraints_s empty_constraints = {{0,0,0}, {0,0,0}};
- struct asn_oer_constraints_s *constraints = &empty_constraints;
- struct asn_oer_constraint_s *ct_value = &constraints->value;
-
- /* Setup integer constraints as requested */
- if(lower_bound == NoBound && upper_bound == NoBound) {
- constraints = NULL;
- } else {
- if(lower_bound != NoBound) {
- ct_value->flags |= AOC_HAS_LOWER_BOUND;
- ct_value->lower_bound = lower_bound;
- }
- if(upper_bound != NoBound) {
- ct_value->flags |= AOC_HAS_UPPER_BOUND;
- ct_value->upper_bound = upper_bound;
- }
- }
+ asn_oer_constraints_t *constraints =
+ setup_constraints(lineno, "encoding", lower_bound, upper_bound);
if(asn_imax2INTEGER(stOut, value) == -1) {
- assert(!"Unreachable");
+ assert(!"Unreachable imax2INTEGER failure");
+ } else {
+ assert(stOut->buf != NULL);
+ assert(stOut->size != 0);
}
er = oer_encode_to_buffer(&asn_DEF_INTEGER, constraints, stOut, tmpbuf,
sizeof(tmpbuf));
- if(er.encoded != -1) {
- fprintf(stderr, "%d: oer encode failed for %s\n", lineno,
+ if(er.encoded == -1) {
+ fprintf(stderr, "%d: OER encode failed for %s\n", lineno,
er.failed_type ? er.failed_type->name : "<none>");
assert(er.encoded != -1);
}
tmpbuf_size = er.encoded;
+ ASN_STRUCT_FREE(asn_DEF_INTEGER, stOut);
+
+ dump_data(lineno, tmpbuf, tmpbuf_size);
ret = asn_DEF_INTEGER.oer_decoder(0, &asn_DEF_INTEGER, constraints,
(void **)&stIn, tmpbuf, tmpbuf_size);
@@ -144,9 +181,46 @@
}
}
+ ASN_STRUCT_FREE(asn_DEF_INTEGER, stIn);
fprintf(stderr, "%d: Decode result %" PRIdMAX "\n", lineno, value);
}
+static void
+check_encode(int lineno, int bad, intmax_t value, intmax_t lower_bound, intmax_t upper_bound) {
+ uint8_t tmpbuf[32];
+
+ fprintf(stderr, "\n%d: OER encode value %" PRIdMAX "\n", lineno, value);
+
+ INTEGER_t *stOut = (INTEGER_t *)calloc(1, sizeof(*stOut));
+ asn_enc_rval_t er;
+ asn_oer_constraints_t *constraints =
+ setup_constraints(lineno, "encoding", lower_bound, upper_bound);
+
+ if(asn_imax2INTEGER(stOut, value) == -1) {
+ assert(!"Unreachable imax2INTEGER failure");
+ } else {
+ assert(stOut->buf != NULL);
+ assert(stOut->size != 0);
+ }
+
+ er = oer_encode_to_buffer(&asn_DEF_INTEGER, constraints, stOut, tmpbuf,
+ sizeof(tmpbuf));
+ if(er.encoded == -1) {
+ fprintf(stderr, "%d: OER encode failed for %s%s\n", lineno,
+ er.failed_type ? er.failed_type->name : "<none>",
+ bad ? " (expected)" : "");
+ if(!bad) {
+ assert(er.encoded != -1);
+ }
+ } else {
+ dump_data(lineno, tmpbuf, er.encoded);
+ if(bad) {
+ assert(er.encoded == -1);
+ }
+ }
+ ASN_STRUCT_FREE(asn_DEF_INTEGER, stOut);
+}
+
int
main() {
CHECK_DECODE(RC_WMORE, 0, "", 0, "bounds=", NoBound, NoBound);
@@ -176,6 +250,69 @@
CHECK_ROUNDTRIP(0, NoBound, NoBound);
CHECK_ROUNDTRIP(1, NoBound, NoBound);
+ CHECK_ROUNDTRIP(-1, NoBound, NoBound);
+ CHECK_ROUNDTRIP(-65000, NoBound, NoBound);
+ CHECK_ROUNDTRIP(65000, NoBound, NoBound);
+ CHECK_ROUNDTRIP(65535, NoBound, NoBound);
+ CHECK_ROUNDTRIP(-65535, NoBound, NoBound);
+ CHECK_ROUNDTRIP(-65536, NoBound, NoBound);
+ CHECK_ROUNDTRIP(65536, NoBound, NoBound);
+ CHECK_ROUNDTRIP(0, -128, 127);
CHECK_ROUNDTRIP(1, -128, 127);
+ CHECK_ROUNDTRIP(-1, -128, 127);
+ CHECK_ROUNDTRIP(-127, -128, 127);
+ CHECK_ROUNDTRIP(-128, -128, 127);
+ CHECK_ROUNDTRIP(127, -128, 127);
+ CHECK_ROUNDTRIP(1, 32000, 32000); /* Sic! */
+ CHECK_ROUNDTRIP(32000, 0, 32000); /* Sic! */
+ CHECK_ROUNDTRIP(32000, -32000, 32000); /* Sic! */
+ CHECK_ROUNDTRIP(1, 65000, 65000); /* Sic! */
+ CHECK_ROUNDTRIP(65535, 0, 65000); /* Sic! */
+ CHECK_ROUNDTRIP(65535, -65000, 65000); /* Sic! */
+
+ CHECK_ENCODE_OK(0, 0, 255);
+ CHECK_ENCODE_OK(255, 0, 255);
+ CHECK_ENCODE_BAD(256, 0, 255);
+ CHECK_ENCODE_OK(0, -128, 127);
+ CHECK_ENCODE_OK(127, -128, 127);
+ CHECK_ENCODE_OK(-128, -128, 127);
+ CHECK_ENCODE_BAD(-129, -128, 127);
+ CHECK_ENCODE_BAD(128, -128, 127);
+ CHECK_ENCODE_OK(-4900000000, -5000000000, 5000000000);
+ CHECK_ENCODE_OK(4900000000, -5000000000, 5000000000);
+ CHECK_ENCODE_OK(-2000000000, -4000000000, 0);
+ CHECK_ENCODE_OK(-4000000000, -4000000000, 0);
+ CHECK_ENCODE_BAD(-4900000000, 0, 4000000000);
+ CHECK_ENCODE_BAD(-1, 0, 4000000000);
+ CHECK_ENCODE_BAD(4900000000, 0, 4000000000);
+ CHECK_ENCODE_OK(4100000000, 0, 4000000000); /* Sic! */
+
+ for(size_t i = 0; i < 7 ; i++) {
+ intmax_t value = (intmax_t)1 << i;
+ CHECK_ROUNDTRIP(value, 0, 255);
+ value = -value;
+ CHECK_ROUNDTRIP(value, -128, 127);
+ }
+
+ for(size_t i = 0; i < 16 ; i++) {
+ intmax_t value = (intmax_t)1 << i;
+ CHECK_ROUNDTRIP(value, 0, 65535);
+ value = -value;
+ CHECK_ROUNDTRIP(value, -32768, 32767);
+ }
+
+ for(size_t i = 0; i < 32 ; i++) {
+ intmax_t value = (intmax_t)1 << i;
+ CHECK_ROUNDTRIP(value, 0, 4294967296UL);
+ value = -value;
+ CHECK_ROUNDTRIP(value, -2147483648L, 2147483647L);
+ }
+
+ for(size_t i = 0; i < 8 * sizeof(intmax_t) ; i++) {
+ intmax_t value = (intmax_t)1 << i;
+ CHECK_ROUNDTRIP(value, NoBound, NoBound);
+ value = -value;
+ CHECK_ROUNDTRIP(value, NoBound, NoBound);
+ }
}