1 // SPDX-License-Identifier: GPL-2.0 2 /* Converted from tools/testing/selftests/bpf/verifier/cfg.c */ 3 4 #include <linux/bpf.h> 5 #include <bpf/bpf_helpers.h> 6 #include "bpf_misc.h" 7 8 SEC("socket") 9 __description("unreachable") 10 __failure __msg("unreachable") 11 __failure_unpriv 12 __naked void unreachable(void) 13 { 14 asm volatile (" \ 15 exit; \ 16 exit; \ 17 " ::: __clobber_all); 18 } 19 20 SEC("socket") 21 __description("unreachable2") 22 __failure __msg("unreachable") 23 __failure_unpriv 24 __naked void unreachable2(void) 25 { 26 asm volatile (" \ 27 goto l0_%=; \ 28 goto l0_%=; \ 29 l0_%=: exit; \ 30 " ::: __clobber_all); 31 } 32 33 SEC("socket") 34 __description("out of range jump") 35 __failure __msg("jump out of range") 36 __failure_unpriv 37 __naked void out_of_range_jump(void) 38 { 39 asm volatile (" \ 40 goto l0_%=; \ 41 exit; \ 42 l0_%=: \ 43 " ::: __clobber_all); 44 } 45 46 SEC("socket") 47 __description("out of range jump2") 48 __failure __msg("jump out of range") 49 __failure_unpriv 50 __naked void out_of_range_jump2(void) 51 { 52 asm volatile (" \ 53 goto -2; \ 54 exit; \ 55 " ::: __clobber_all); 56 } 57 58 SEC("socket") 59 __description("loop (back-edge)") 60 __failure __msg("unreachable insn 1") 61 __msg_unpriv("back-edge") 62 __naked void loop_back_edge(void) 63 { 64 asm volatile (" \ 65 l0_%=: goto l0_%=; \ 66 exit; \ 67 " ::: __clobber_all); 68 } 69 70 SEC("socket") 71 __description("loop2 (back-edge)") 72 __failure __msg("unreachable insn 4") 73 __msg_unpriv("back-edge") 74 __naked void loop2_back_edge(void) 75 { 76 asm volatile (" \ 77 l0_%=: r1 = r0; \ 78 r2 = r0; \ 79 r3 = r0; \ 80 goto l0_%=; \ 81 exit; \ 82 " ::: __clobber_all); 83 } 84 85 SEC("socket") 86 __description("conditional loop") 87 __failure __msg("infinite loop detected") 88 __msg_unpriv("back-edge") 89 __naked void conditional_loop(void) 90 { 91 asm volatile (" \ 92 r0 = r1; \ 93 l0_%=: r2 = r0; \ 94 r3 = r0; \ 95 if r1 == 0 goto l0_%=; \ 96 exit; \ 97 " ::: __clobber_all); 98 } 99 100 char _license[] SEC("license") = "GPL"; 101