162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 262306a36Sopenharmony_ci#include <linux/bpf.h> 362306a36Sopenharmony_ci#include <bpf/bpf_helpers.h> 462306a36Sopenharmony_ci#include <bpf/bpf_tracing.h> 562306a36Sopenharmony_ci#include <stdbool.h> 662306a36Sopenharmony_ci 762306a36Sopenharmony_ci#ifdef ENABLE_ATOMICS_TESTS 862306a36Sopenharmony_cibool skip_tests __attribute((__section__(".data"))) = false; 962306a36Sopenharmony_ci#else 1062306a36Sopenharmony_cibool skip_tests = true; 1162306a36Sopenharmony_ci#endif 1262306a36Sopenharmony_ci 1362306a36Sopenharmony_ciSEC("fentry/bpf_fentry_test1") 1462306a36Sopenharmony_ciint BPF_PROG(sub, int x) 1562306a36Sopenharmony_ci{ 1662306a36Sopenharmony_ci#ifdef ENABLE_ATOMICS_TESTS 1762306a36Sopenharmony_ci int a = 0; 1862306a36Sopenharmony_ci int b = __sync_fetch_and_add(&a, 1); 1962306a36Sopenharmony_ci /* b is certainly 0 here. Can the verifier tell? */ 2062306a36Sopenharmony_ci while (b) 2162306a36Sopenharmony_ci continue; 2262306a36Sopenharmony_ci#endif 2362306a36Sopenharmony_ci return 0; 2462306a36Sopenharmony_ci} 25