// SPDX-License-Identifier: GPL-2.0#include<elfutils/libdwfl.h>intmain(void){/* * This function is guarded via: __nonnull_attribute__ (1, 2). * Passing '1' as arguments value. This code is never executed, * only compiled. */dwfl_thread_getframes((void*)1,(void*)1,NULL);return0;}