1 // SPDX-License-Identifier: GPL-2.0
2 
3 #include <elfutils/libdwfl.h>
4 
5 int main(void)
6 {
7 	/*
8 	 * This function is guarded via: __nonnull_attribute__ (1, 2).
9 	 * Passing '1' as arguments value. This code is never executed,
10 	 * only compiled.
11 	 */
12 	dwfl_thread_getframes((void *) 1, (void *) 1, NULL);
13 	return 0;
14 }
15