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