bpf/progs/verifier_bounds_deduction.c

10 __failure __msg("R0 tried to subtract pointer from scalar")
11 __msg_unpriv("R1 has pointer with unsupported alu operation")
25 __msg_unpriv("R1 has pointer with unsupported alu operation")
42 __failure __msg("R0 tried to subtract pointer from scalar")
43 __msg_unpriv("R1 has pointer with unsupported alu operation")
47 	r0 = 0;						\  in deducing_bounds_from_const_3()
48 	if r0 s<= 0 goto l0_%=;				\  in deducing_bounds_from_const_3()
57 __msg_unpriv("R6 has pointer with unsupported alu operation")
58 __retval(0)
63 	r0 = 0;						\  in deducing_bounds_from_const_4()
64 	if r0 s<= 0 goto l0_%=;				\  in deducing_bounds_from_const_4()
66 l0_%=:	if r0 s>= 0 goto l1_%=;				\  in deducing_bounds_from_const_4()
75 __failure __msg("R0 tried to subtract pointer from scalar")
76 __msg_unpriv("R1 has pointer with unsupported alu operation")
80 	r0 = 0;						\  in deducing_bounds_from_const_5()
89 __failure __msg("R0 tried to subtract pointer from scalar")
90 __msg_unpriv("R1 has pointer with unsupported alu operation")
94 	r0 = 0;						\  in deducing_bounds_from_const_6()
95 	if r0 s>= 0 goto l0_%=;				\  in deducing_bounds_from_const_6()
105 __msg_unpriv("R1 has pointer with unsupported alu operation")
111 	if r0 s>= 0 goto l0_%=;				\  in __flag()
116 	: __imm_const(__imm_0, ~0),  in __flag()
124 __msg_unpriv("R1 has pointer with unsupported alu operation")
130 	if r0 s>= 0 goto l0_%=;				\  in __flag()
135 	: __imm_const(__imm_0, ~0),  in __flag()
142 __failure __msg("R0 tried to subtract pointer from scalar")
143 __msg_unpriv("R1 has pointer with unsupported alu operation")
147 	r0 = 0;						\  in deducing_bounds_from_const_9()
148 	if r0 s>= 0 goto l0_%=;				\  in deducing_bounds_from_const_9()
157 __msg("math between ctx pointer and register with unbounded min value is not allowed")
162 	r0 = 0;						\  in deducing_bounds_from_const_10()
163 	if r0 s<= 0 goto l0_%=;				\  in deducing_bounds_from_const_10()