1 
2 #include <elfutils/libdwfl.h>
3 
4 int 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