| // SPDX-License-Identifier: GPL-2.0 | |
| #include <elfutils/libdwfl.h> | |
| int main(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); | |
| return 0; | |
| } |