162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 262306a36Sopenharmony_ci 362306a36Sopenharmony_ci#include <elfutils/libdwfl.h> 462306a36Sopenharmony_ci 562306a36Sopenharmony_ciint main(void) 662306a36Sopenharmony_ci{ 762306a36Sopenharmony_ci /* 862306a36Sopenharmony_ci * This function is guarded via: __nonnull_attribute__ (1, 2). 962306a36Sopenharmony_ci * Passing '1' as arguments value. This code is never executed, 1062306a36Sopenharmony_ci * only compiled. 1162306a36Sopenharmony_ci */ 1262306a36Sopenharmony_ci dwfl_thread_getframes((void *) 1, (void *) 1, NULL); 1362306a36Sopenharmony_ci return 0; 1462306a36Sopenharmony_ci} 15