14 lines
309 B
C
14 lines
309 B
C
// 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;
|
|
}
|