Training courses

Kernel and Embedded Linux

Bootlin training courses

Embedded Linux, kernel,
Yocto Project, Buildroot, real-time,
graphics, boot time, debugging...

Bootlin logo

Elixir Cross Referencer

/* $NetBSD: t_strcmp.c,v 1.4 2012/03/25 08:17:54 joerg Exp $ */

/*
 * Written by J.T. Conklin <jtc@acorntoolworks.com>
 * Public domain.
 */

#include <atf-c.h>
#include <string.h>
#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>

ATF_TC(strcmp_basic);
ATF_TC_HEAD(strcmp_basic, tc)
{
        atf_tc_set_md_var(tc, "descr", "Test strcmp(3) results, #1");
}

ATF_TC_BODY(strcmp_basic, tc)
{
	/* try to trick the compiler */
	int (*f)(const char *, const char *s) = strcmp;

	unsigned int a0, a1, t;
	char buf0[64];
	char buf1[64];
	int ret;

	struct tab {
		const char*	val0;
		const char*	val1;
		int		ret;
	};

	const struct tab tab[] = {
		{ "",			"",			0 },

		{ "a",			"a",			0 },
		{ "a",			"b",			-1 },
		{ "b",			"a",			+1 },
		{ "",			"a",			-1 },
		{ "a",			"",			+1 },

		{ "aa",			"aa",			0 },
		{ "aa",			"ab",			-1 },
		{ "ab",			"aa",			+1 },
		{ "a",			"aa",			-1 },
		{ "aa",			"a",			+1 },

		{ "aaa",		"aaa",			0 },
		{ "aaa",		"aab",			-1 },
		{ "aab",		"aaa",			+1 },
		{ "aa",			"aaa",			-1 },
		{ "aaa",		"aa",			+1 },

		{ "aaaa",		"aaaa",			0 },
		{ "aaaa",		"aaab",			-1 },
		{ "aaab",		"aaaa",			+1 },
		{ "aaa",		"aaaa",			-1 },
		{ "aaaa",		"aaa",			+1 },

		{ "aaaaa",		"aaaaa",		0 },
		{ "aaaaa",		"aaaab",		-1 },
		{ "aaaab",		"aaaaa",		+1 },
		{ "aaaa",		"aaaaa",		-1 },
		{ "aaaaa",		"aaaa",			+1 },

		{ "aaaaaa",		"aaaaaa",		0 },
		{ "aaaaaa",		"aaaaab",		-1 },
		{ "aaaaab",		"aaaaaa",		+1 },
		{ "aaaaa",		"aaaaaa",		-1 },
		{ "aaaaaa",		"aaaaa",		+1 },
	};

	for (a0 = 0; a0 < sizeof(long); ++a0) {
		for (a1 = 0; a1 < sizeof(long); ++a1) {
			for (t = 0; t < __arraycount(tab); ++t) {
				memcpy(&buf0[a0], tab[t].val0,
				       strlen(tab[t].val0) + 1);
				memcpy(&buf1[a1], tab[t].val1,
				       strlen(tab[t].val1) + 1);

				ret = f(&buf0[a0], &buf1[a1]);

				if ((ret == 0 && tab[t].ret != 0) ||
				    (ret <  0 && tab[t].ret >= 0) ||
				    (ret >  0 && tab[t].ret <= 0)) {
					fprintf(stderr, "a0 %d, a1 %d, t %d\n",
					    a0, a1, t);
					fprintf(stderr, "\"%s\" \"%s\" %d\n",
					    &buf0[a0], &buf1[a1], ret);
					atf_tc_fail("Check stderr for details");
				}
			}
		}
	}
}

ATF_TC(strcmp_simple);
ATF_TC_HEAD(strcmp_simple, tc)
{
        atf_tc_set_md_var(tc, "descr", "Test strcmp(3) results, #2");
}

ATF_TC_BODY(strcmp_simple, tc)
{
	char buf1[10] = "xxx";
	char buf2[10] = "xxy";

	ATF_CHECK(strcmp(buf1, buf1) == 0);
	ATF_CHECK(strcmp(buf2, buf2) == 0);

	ATF_CHECK(strcmp("x\xf6x", "xox") > 0);
	ATF_CHECK(strcmp("xxx", "xxxyyy") < 0);
	ATF_CHECK(strcmp("xxxyyy", "xxx") > 0);

	ATF_CHECK(strcmp(buf1 + 0, buf2 + 0) < 0);
	ATF_CHECK(strcmp(buf1 + 1, buf2 + 1) < 0);
	ATF_CHECK(strcmp(buf1 + 2, buf2 + 2) < 0);
	ATF_CHECK(strcmp(buf1 + 3, buf2 + 3) == 0);

	ATF_CHECK(strcmp(buf2 + 0, buf1 + 0) > 0);
	ATF_CHECK(strcmp(buf2 + 1, buf1 + 1) > 0);
	ATF_CHECK(strcmp(buf2 + 2, buf1 + 2) > 0);
	ATF_CHECK(strcmp(buf2 + 3, buf1 + 3) == 0);
}

ATF_TP_ADD_TCS(tp)
{

	ATF_TP_ADD_TC(tp, strcmp_basic);
	ATF_TP_ADD_TC(tp, strcmp_simple);

	return atf_no_error();
}