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