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