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