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