1 // SPDX-License-Identifier: GPL-2.0
2 /* Copyright (c) 2021 Facebook */
3 
4 #include <test_progs.h>
5 
6 #include "trace_vprintk.lskel.h"
7 
test_verif_stats(void)8 void test_verif_stats(void)
9 {
10 	__u32 len = sizeof(struct bpf_prog_info);
11 	struct trace_vprintk_lskel *skel;
12 	struct bpf_prog_info info = {};
13 	int err;
14 
15 	skel = trace_vprintk_lskel__open_and_load();
16 	if (!ASSERT_OK_PTR(skel, "trace_vprintk__open_and_load"))
17 		goto cleanup;
18 
19 	err = bpf_obj_get_info_by_fd(skel->progs.sys_enter.prog_fd, &info, &len);
20 	if (!ASSERT_OK(err, "bpf_obj_get_info_by_fd"))
21 		goto cleanup;
22 
23 	if (!ASSERT_GT(info.verified_insns, 0, "verified_insns"))
24 		goto cleanup;
25 
26 cleanup:
27 	trace_vprintk_lskel__destroy(skel);
28 }
29