blob: ed03d95056090c90bcea9d39751daf89eb3d9c18 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// 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;
}
|