xref: /linux/lib/tests/cmdline_kunit.c (revision bbfd5594756011167b8f8de9a00e0c946afda1e6)
1*db6fe4d6SKees Cook // SPDX-License-Identifier: GPL-2.0+
2*db6fe4d6SKees Cook /*
3*db6fe4d6SKees Cook  * Test cases for API provided by cmdline.c
4*db6fe4d6SKees Cook  */
5*db6fe4d6SKees Cook 
6*db6fe4d6SKees Cook #include <kunit/test.h>
7*db6fe4d6SKees Cook #include <linux/kernel.h>
8*db6fe4d6SKees Cook #include <linux/random.h>
9*db6fe4d6SKees Cook #include <linux/string.h>
10*db6fe4d6SKees Cook 
11*db6fe4d6SKees Cook static const char *cmdline_test_strings[] = {
12*db6fe4d6SKees Cook 	"\"\"", ""  , "=" , "\"-", ","    , "-,"   , ",-"   , "-" ,
13*db6fe4d6SKees Cook 	"+,"  , "--", ",,", "''" , "\"\",", "\",\"", "-\"\"", "\"",
14*db6fe4d6SKees Cook };
15*db6fe4d6SKees Cook 
16*db6fe4d6SKees Cook static const int cmdline_test_values[] = {
17*db6fe4d6SKees Cook 	1, 1, 1, 1, 2, 3, 2, 3,
18*db6fe4d6SKees Cook 	1, 3, 2, 1, 1, 1, 3, 1,
19*db6fe4d6SKees Cook };
20*db6fe4d6SKees Cook 
21*db6fe4d6SKees Cook static_assert(ARRAY_SIZE(cmdline_test_strings) == ARRAY_SIZE(cmdline_test_values));
22*db6fe4d6SKees Cook 
23*db6fe4d6SKees Cook static const char *cmdline_test_range_strings[] = {
24*db6fe4d6SKees Cook 	"-7" , "--7"  , "-1-2"    , "7--9",
25*db6fe4d6SKees Cook 	"7-" , "-7--9", "7-9,"    , "9-7" ,
26*db6fe4d6SKees Cook 	"5-a", "a-5"  , "5-8"     , ",8-5",
27*db6fe4d6SKees Cook 	"+,1", "-,4"  , "-3,0-1,6", "4,-" ,
28*db6fe4d6SKees Cook 	" +2", " -9"  , "0-1,-3,6", "- 9" ,
29*db6fe4d6SKees Cook };
30*db6fe4d6SKees Cook 
31*db6fe4d6SKees Cook static const int cmdline_test_range_values[][16] = {
32*db6fe4d6SKees Cook 	{ 1, -7, }, { 0, -0, }, { 4, -1, 0, +1, 2, }, { 0, 7, },
33*db6fe4d6SKees Cook 	{ 0, +7, }, { 0, -7, }, { 3, +7, 8, +9, 0, }, { 0, 9, },
34*db6fe4d6SKees Cook 	{ 0, +5, }, { 0, -0, }, { 4, +5, 6, +7, 8, }, { 0, 0, },
35*db6fe4d6SKees Cook 	{ 0, +0, }, { 0, -0, }, { 4, -3, 0, +1, 6, }, { 1, 4, },
36*db6fe4d6SKees Cook 	{ 0, +0, }, { 0, -0, }, { 4, +0, 1, -3, 6, }, { 0, 0, },
37*db6fe4d6SKees Cook };
38*db6fe4d6SKees Cook 
39*db6fe4d6SKees Cook static_assert(ARRAY_SIZE(cmdline_test_range_strings) == ARRAY_SIZE(cmdline_test_range_values));
40*db6fe4d6SKees Cook 
41*db6fe4d6SKees Cook static void cmdline_do_one_test(struct kunit *test, const char *in, int rc, int offset)
42*db6fe4d6SKees Cook {
43*db6fe4d6SKees Cook 	const char *fmt = "Pattern: %s";
44*db6fe4d6SKees Cook 	const char *out = in;
45*db6fe4d6SKees Cook 	int dummy;
46*db6fe4d6SKees Cook 	int ret;
47*db6fe4d6SKees Cook 
48*db6fe4d6SKees Cook 	ret = get_option((char **)&out, &dummy);
49*db6fe4d6SKees Cook 
50*db6fe4d6SKees Cook 	KUNIT_EXPECT_EQ_MSG(test, ret, rc, fmt, in);
51*db6fe4d6SKees Cook 	KUNIT_EXPECT_PTR_EQ_MSG(test, out, in + offset, fmt, in);
52*db6fe4d6SKees Cook }
53*db6fe4d6SKees Cook 
54*db6fe4d6SKees Cook static void cmdline_test_noint(struct kunit *test)
55*db6fe4d6SKees Cook {
56*db6fe4d6SKees Cook 	unsigned int i = 0;
57*db6fe4d6SKees Cook 
58*db6fe4d6SKees Cook 	do {
59*db6fe4d6SKees Cook 		const char *str = cmdline_test_strings[i];
60*db6fe4d6SKees Cook 		int rc = 0;
61*db6fe4d6SKees Cook 		int offset;
62*db6fe4d6SKees Cook 
63*db6fe4d6SKees Cook 		/* Only first and leading '-' will advance the pointer */
64*db6fe4d6SKees Cook 		offset = !!(*str == '-');
65*db6fe4d6SKees Cook 		cmdline_do_one_test(test, str, rc, offset);
66*db6fe4d6SKees Cook 	} while (++i < ARRAY_SIZE(cmdline_test_strings));
67*db6fe4d6SKees Cook }
68*db6fe4d6SKees Cook 
69*db6fe4d6SKees Cook static void cmdline_test_lead_int(struct kunit *test)
70*db6fe4d6SKees Cook {
71*db6fe4d6SKees Cook 	unsigned int i = 0;
72*db6fe4d6SKees Cook 	char in[32];
73*db6fe4d6SKees Cook 
74*db6fe4d6SKees Cook 	do {
75*db6fe4d6SKees Cook 		const char *str = cmdline_test_strings[i];
76*db6fe4d6SKees Cook 		int rc = cmdline_test_values[i];
77*db6fe4d6SKees Cook 		int offset;
78*db6fe4d6SKees Cook 
79*db6fe4d6SKees Cook 		sprintf(in, "%u%s", get_random_u8(), str);
80*db6fe4d6SKees Cook 		/* Only first '-' after the number will advance the pointer */
81*db6fe4d6SKees Cook 		offset = strlen(in) - strlen(str) + !!(rc == 2);
82*db6fe4d6SKees Cook 		cmdline_do_one_test(test, in, rc, offset);
83*db6fe4d6SKees Cook 	} while (++i < ARRAY_SIZE(cmdline_test_strings));
84*db6fe4d6SKees Cook }
85*db6fe4d6SKees Cook 
86*db6fe4d6SKees Cook static void cmdline_test_tail_int(struct kunit *test)
87*db6fe4d6SKees Cook {
88*db6fe4d6SKees Cook 	unsigned int i = 0;
89*db6fe4d6SKees Cook 	char in[32];
90*db6fe4d6SKees Cook 
91*db6fe4d6SKees Cook 	do {
92*db6fe4d6SKees Cook 		const char *str = cmdline_test_strings[i];
93*db6fe4d6SKees Cook 		/* When "" or "-" the result will be valid integer */
94*db6fe4d6SKees Cook 		int rc = strcmp(str, "") ? (strcmp(str, "-") ? 0 : 1) : 1;
95*db6fe4d6SKees Cook 		int offset;
96*db6fe4d6SKees Cook 
97*db6fe4d6SKees Cook 		sprintf(in, "%s%u", str, get_random_u8());
98*db6fe4d6SKees Cook 		/*
99*db6fe4d6SKees Cook 		 * Only first and leading '-' not followed by integer
100*db6fe4d6SKees Cook 		 * will advance the pointer.
101*db6fe4d6SKees Cook 		 */
102*db6fe4d6SKees Cook 		offset = rc ? strlen(in) : !!(*str == '-');
103*db6fe4d6SKees Cook 		cmdline_do_one_test(test, in, rc, offset);
104*db6fe4d6SKees Cook 	} while (++i < ARRAY_SIZE(cmdline_test_strings));
105*db6fe4d6SKees Cook }
106*db6fe4d6SKees Cook 
107*db6fe4d6SKees Cook static void cmdline_do_one_range_test(struct kunit *test, const char *in,
108*db6fe4d6SKees Cook 				      unsigned int n, const int *e)
109*db6fe4d6SKees Cook {
110*db6fe4d6SKees Cook 	unsigned int i;
111*db6fe4d6SKees Cook 	int r[16];
112*db6fe4d6SKees Cook 	int *p;
113*db6fe4d6SKees Cook 
114*db6fe4d6SKees Cook 	memset(r, 0, sizeof(r));
115*db6fe4d6SKees Cook 	get_options(in, ARRAY_SIZE(r), r);
116*db6fe4d6SKees Cook 	KUNIT_EXPECT_EQ_MSG(test, r[0], e[0], "in test %u (parsed) expected %d numbers, got %d",
117*db6fe4d6SKees Cook 			    n, e[0], r[0]);
118*db6fe4d6SKees Cook 	for (i = 1; i < ARRAY_SIZE(r); i++)
119*db6fe4d6SKees Cook 		KUNIT_EXPECT_EQ_MSG(test, r[i], e[i], "in test %u at %u", n, i);
120*db6fe4d6SKees Cook 
121*db6fe4d6SKees Cook 	memset(r, 0, sizeof(r));
122*db6fe4d6SKees Cook 	get_options(in, 0, r);
123*db6fe4d6SKees Cook 	KUNIT_EXPECT_EQ_MSG(test, r[0], e[0], "in test %u (validated) expected %d numbers, got %d",
124*db6fe4d6SKees Cook 			    n, e[0], r[0]);
125*db6fe4d6SKees Cook 
126*db6fe4d6SKees Cook 	p = memchr_inv(&r[1], 0, sizeof(r) - sizeof(r[0]));
127*db6fe4d6SKees Cook 	KUNIT_EXPECT_PTR_EQ_MSG(test, p, NULL, "in test %u at %td out of bound", n, p - r);
128*db6fe4d6SKees Cook }
129*db6fe4d6SKees Cook 
130*db6fe4d6SKees Cook static void cmdline_test_range(struct kunit *test)
131*db6fe4d6SKees Cook {
132*db6fe4d6SKees Cook 	unsigned int i = 0;
133*db6fe4d6SKees Cook 
134*db6fe4d6SKees Cook 	do {
135*db6fe4d6SKees Cook 		const char *str = cmdline_test_range_strings[i];
136*db6fe4d6SKees Cook 		const int *e = cmdline_test_range_values[i];
137*db6fe4d6SKees Cook 
138*db6fe4d6SKees Cook 		cmdline_do_one_range_test(test, str, i, e);
139*db6fe4d6SKees Cook 	} while (++i < ARRAY_SIZE(cmdline_test_range_strings));
140*db6fe4d6SKees Cook }
141*db6fe4d6SKees Cook 
142*db6fe4d6SKees Cook static struct kunit_case cmdline_test_cases[] = {
143*db6fe4d6SKees Cook 	KUNIT_CASE(cmdline_test_noint),
144*db6fe4d6SKees Cook 	KUNIT_CASE(cmdline_test_lead_int),
145*db6fe4d6SKees Cook 	KUNIT_CASE(cmdline_test_tail_int),
146*db6fe4d6SKees Cook 	KUNIT_CASE(cmdline_test_range),
147*db6fe4d6SKees Cook 	{}
148*db6fe4d6SKees Cook };
149*db6fe4d6SKees Cook 
150*db6fe4d6SKees Cook static struct kunit_suite cmdline_test_suite = {
151*db6fe4d6SKees Cook 	.name = "cmdline",
152*db6fe4d6SKees Cook 	.test_cases = cmdline_test_cases,
153*db6fe4d6SKees Cook };
154*db6fe4d6SKees Cook kunit_test_suite(cmdline_test_suite);
155*db6fe4d6SKees Cook 
156*db6fe4d6SKees Cook MODULE_DESCRIPTION("Test cases for API provided by cmdline.c");
157*db6fe4d6SKees Cook MODULE_LICENSE("GPL");
158