1// SPDX-License-Identifier: GPL-2.0
2#include <stdio.h>
3#include <elfutils/libdw.h>
4
5int main(void)
6{
7	Dwarf *dwarf = NULL;
8	return dwarf_getcfi(dwarf) == NULL;
9}
10