/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST

extern inline size_t libabort_stralen(const char *str, size_t size);

#else

volatile size_t test_size_t_discard;

int
main(void)
{
	size_t r;

	INIT_TEST_ABORT();

	EXPECT_NO_ABORT(r = libabort_stralen("", 1));
	EXPECT(r == 0);

	EXPECT_NO_ABORT(r = libabort_stralen("hello", 6));
	EXPECT(r == 5);

	EXPECT_NO_ABORT(r = libabort_stralen("hello", 10));
	EXPECT(r == 5);

	EXPECT_ABORT(test_size_t_discard = libabort_stralen("hello", 4));
	EXPECT_ABORT(test_size_t_discard = libabort_stralen("hello", 5));
	EXPECT_ABORT(test_size_t_discard = libabort_stralen("", 0));

	return 0;
}

#endif