kernel/tools/testing/selftests/bpf/progs/verifier_may_goto_2.c

29 lines
493 B
C

// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2025 Meta Platforms, Inc. and affiliates. */
#include "bpf_misc.h"
#include "bpf_experimental.h"
int gvar;
SEC("raw_tp")
__description("C code with may_goto 0")
__success
int may_goto_c_code(void)
{
int i, tmp[3];
for (i = 0; i < 3 && can_loop; i++)
tmp[i] = 0;
for (i = 0; i < 3 && can_loop; i++)
tmp[i] = gvar - i;
for (i = 0; i < 3 && can_loop; i++)
gvar += tmp[i];
return 0;
}
char _license[] SEC("license") = "GPL";