1816 static bool same_callsites(struct bpf_verifier_state *a, struct bpf_verifier_state *b)  in same_callsites()  argument
1820 	if (a->curframe != b->curframe)  in same_callsites()
1823 	for (fr = a->curframe; fr >= 0; fr--)  in same_callsites()
1824 		if (a->frame[fr]->callsite != b->frame[fr]->callsite)  in same_callsites()
2408 static bool __reg32_bound_s64(s32 a)  in __reg32_bound_s64()  argument
2410 	return a >= 0 && a <= S32_MAX;  in __reg32_bound_s64()
2453 static bool __reg64_bound_s32(s64 a)  in __reg64_bound_s32()  argument
2455 	return a >= S32_MIN && a <= S32_MAX;  in __reg64_bound_s32()
2458 static bool __reg64_bound_u32(u64 a)  in __reg64_bound_u32()  argument
2460 	return a >= U32_MIN && a <= U32_MAX;  in __reg64_bound_u32()
2633 static int cmp_subprogs(const void *a, const void *b)  in cmp_subprogs()  argument
2635 	return ((struct bpf_subprog_info *)a)->start -  in cmp_subprogs()
2706 static int kfunc_desc_cmp_by_id_off(const void *a, const void *b)  in kfunc_desc_cmp_by_id_off()  argument
2708 	const struct bpf_kfunc_desc *d0 = a;  in kfunc_desc_cmp_by_id_off()
2715 static int kfunc_btf_cmp_by_off(const void *a, const void *b)  in kfunc_btf_cmp_by_off()  argument
2717 	const struct bpf_kfunc_btf *d0 = a;  in kfunc_btf_cmp_by_off()
2969 static int kfunc_desc_cmp_by_imm_off(const void *a, const void *b)  in kfunc_desc_cmp_by_imm_off()  argument
2971 	const struct bpf_kfunc_desc *d0 = a;  in kfunc_desc_cmp_by_imm_off()
12097 static bool signed_add_overflows(s64 a, s64 b)  in signed_add_overflows()  argument
12100 	s64 res = (s64)((u64)a + (u64)b);  in signed_add_overflows()
12103 		return res > a;  in signed_add_overflows()
12104 	return res < a;  in signed_add_overflows()
12107 static bool signed_add32_overflows(s32 a, s32 b)  in signed_add32_overflows()  argument
12110 	s32 res = (s32)((u32)a + (u32)b);  in signed_add32_overflows()
12113 		return res > a;  in signed_add32_overflows()
12114 	return res < a;  in signed_add32_overflows()
12117 static bool signed_sub_overflows(s64 a, s64 b)  in signed_sub_overflows()  argument
12120 	s64 res = (s64)((u64)a - (u64)b);  in signed_sub_overflows()
12123 		return res < a;  in signed_sub_overflows()
12124 	return res > a;  in signed_sub_overflows()
12127 static bool signed_sub32_overflows(s32 a, s32 b)  in signed_sub32_overflows()  argument
12130 	s32 res = (s32)((u32)a - (u32)b);  in signed_sub32_overflows()
12133 		return res < a;  in signed_sub32_overflows()
12134 	return res > a;  in signed_sub32_overflows()