// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2021 Facebook */

#include <test_progs.h>

#include "trace_vprintk.lskel.h"

void test_verif_stats(void)
{
	__u32 len = sizeof(struct bpf_prog_info);
	struct trace_vprintk_lskel *skel;
	struct bpf_prog_info info = {};
	int err;

	skel = trace_vprintk_lskel__open_and_load();
	if (!ASSERT_OK_PTR(skel, "trace_vprintk__open_and_load"))
		goto cleanup;

	err = bpf_obj_get_info_by_fd(skel->progs.sys_enter.prog_fd, &info, &len);
	if (!ASSERT_OK(err, "bpf_obj_get_info_by_fd"))
		goto cleanup;

	if (!ASSERT_GT(info.verified_insns, 0, "verified_insns"))
		goto cleanup;

cleanup:
	trace_vprintk_lskel__destroy(skel);
}