1 // SPDX-License-Identifier: GPL-2.0 1 // SPDX-License-Identifier: GPL-2.0
2 2
3 #include <elfutils/libdwfl.h> 3 #include <elfutils/libdwfl.h>
4 4
5 int main(void) 5 int main(void)
6 { 6 {
7 /* 7 /*
8 * This function is guarded via: __non 8 * This function is guarded via: __nonnull_attribute__ (1, 2).
9 * Passing '1' as arguments value. Thi 9 * Passing '1' as arguments value. This code is never executed,
10 * only compiled. 10 * only compiled.
11 */ 11 */
12 dwfl_thread_getframes((void *) 1, (voi 12 dwfl_thread_getframes((void *) 1, (void *) 1, NULL);
13 return 0; 13 return 0;
14 } 14 }
15 15
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.