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