1 // SPDX-License-Identifier: GPL-2.0-or-later
3  * Test cases for compiler-based stack variable zeroing via
4  * -ftrivial-auto-var-init={zero,pattern} or CONFIG_GCC_PLUGIN_STRUCTLEAK*.
6  * "Running tests with kunit_tool" at Documentation/dev-tools/kunit/start.rst
7  *	./tools/testing/kunit/kunit.py run stackinit [--raw_output] \
8  *		--make_option LLVM=1 \
9  *		--kconfig_add CONFIG_INIT_STACK_ALL_ZERO=y
99 		zero.two = 0;				\
116 #define __static_partial		{ .two = 0, }
118 					  .two = 0,			\
122 #define __dynamic_partial		{ .two = arg->two, }
123 #define __dynamic_all			{ .one = arg->one,		\
124 					  .two = arg->two,		\
125 					  .three = arg->three,		\
126 					  .four = arg->four,		\
128 #define __runtime_partial		var.two = 0
130 					var.two = 0;			\
214 	/* Fill clone type with zero for per-field init. */	\
226 	/* Extract stack-defined variable contents. */		\
231 	 * possible between the two leaf function calls.	\
244 		(int)((ssize_t)(uintptr_t)fill_start -		\
259 /* no-op to force compiler into ignoring "uninitialized" vars */\
299 	return (int)buf[0] | (int)buf[sizeof(buf) - 1];		\
306 	unsigned long two;  member
314 	char two;  member
323 	u8 two;  member
331 	char *two;  member
334 	/* "sizeof(unsigned long) - 1" byte padding hole here. */
340 	unsigned long two;  member
348 	unsigned long two;  member
353 /* Mismatched sizes, with one and two being small */
356 	char two;  member
367 	unsigned long two;  member
462  * Check two uses through a variable declaration outside either path,
471 		 * warning, build with -Wno-switch-unreachable  in __leaf_switch_none()
519  * non-code areas (i.e. in a switch statement before the first "case").
593 MODULE_DESCRIPTION("Test cases for compiler-based stack variable zeroing");