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