// SPDX-License-Identifier: GPL-2.0
#include <stdlib.h>
#include <dwarf.h>
#include <elfutils/libdw.h>
#include <elfutils/libdwfl.h>
#include <elfutils/version.h>

int test_libdw(void)
{
	Dwarf *dbg = dwarf_begin(0, DWARF_C_READ);

	return dbg == NULL;
}

int test_libdw_unwind(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;
}

int test_libdw_getlocations(void)
{
	Dwarf_Addr base, start, end;
	Dwarf_Attribute attr;
	Dwarf_Op *op;
	size_t nops;
	ptrdiff_t offset = 0;

	return (int)dwarf_getlocations(&attr, offset, &base, &start, &end, &op, &nops);
}

int test_libdw_getcfi(void)
{
	Dwarf *dwarf = NULL;

	return dwarf_getcfi(dwarf) == NULL;
}

int test_elfutils(void)
{
	Dwarf_CFI *cfi = NULL;

	dwarf_cfi_end(cfi);
	return 0;
}

int main(void)
{
	return test_libdw() + test_libdw_unwind() + test_libdw_getlocations() +
	       test_libdw_getcfi() + test_elfutils();
}