tests/tests-c-compiler/check-src/check-65.c

#undef	NDEBUG
#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>
#include <string.h>
#include <assert.h>

#include <T.h>
#include <T1.h>

uint8_t buf1[] = {
	32 | ((2 << 6) + 2),	/* [2], constructed */
	6,
	32 | ((2 << 6) + 3),	/* [3], constructed */
	4,
	32 | ((2 << 6) + 4),	/* [4], constructed */
	2,
	0  | ((2 << 6) + 6),	/* [6], primitive */
	0
};

uint8_t buf2[] = {

	32 | ((2 << 6) + 0),	/* [0], constructed */
	23,

	32 | ((2 << 6) + 1),	/* [1], constructed */
	6,
	32 | ((2 << 6) + 4),	/* [4], constructed */
	4,
	0  | ((2 << 6) + 6),	/* [6], primitive */
	2,
  0xC0,
  0x00,

	32 | ((2 << 6) + 2),	/* [2], constructed */
	6,
	32 | ((2 << 6) + 4),	/* [4], constructed */
	4,
	0  | ((2 << 6) + 6),	/* [6], primitive */
	2,
  0x80,
  0x00,

	32 | ((2 << 6) + 3),	/* [3], constructed */
	5,
	0  | ((2 << 6) + 6),	/* [6], primitive */
	3,
  0x80,
  0x01,
  0x02,
};

static void
check_1(int is_ok, uint8_t *buf, size_t size, size_t consumed) {
	asn_TYPE_descriptor_t *td = &asn_DEF_T1;
	asn_dec_rval_t rval;
	T1_t t, *tp;

	tp = memset(&t, 0, sizeof(t));

	fprintf(stderr, "Buf %p\n", buf);
	rval = ber_decode(0, td, (void **)&tp, buf, size);
	fprintf(stderr, "Returned code %d, consumed %zd\n",
		(int)rval.code, rval.consumed);

	if(is_ok) {
		assert(rval.code == RC_OK);
		assert(rval.consumed == consumed);
	} else {
		if(rval.code == RC_OK) {
		}
		assert(rval.consumed <= consumed);
	}
}

static void
check_2(int is_ok, uint8_t *buf, size_t size, size_t consumed) {
	asn_TYPE_descriptor_t *td = &asn_DEF_T;
	asn_dec_rval_t rval;
	T_t t, *tp;

	tp = memset(&t, 0, sizeof(t));

	fprintf(stderr, "Buf %p\n", buf);
	rval = ber_decode(0, td, (void **)&tp, buf, size);
	fprintf(stderr, "Returned code %d, consumed %zd\n",
		(int)rval.code, rval.consumed);

	if(is_ok) {
		assert(rval.code == RC_OK);
		assert(rval.consumed == consumed);
	} else {
		if(rval.code == RC_OK) {
		}
		assert(rval.consumed <= consumed);
	}
}

int
main(int ac, char **av) {

	(void)ac;	/* Unused argument */
	(void)av;	/* Unused argument */

	check_1(1, buf1, sizeof(buf1), sizeof(buf1));
	check_1(0, buf1, sizeof(buf1) - 1, sizeof(buf1) - 1);

	check_2(1, buf2, sizeof(buf2), sizeof(buf2));
	check_2(0, buf2, sizeof(buf2) - 1, sizeof(buf2) - 1);

	return 0;
}