kernel/bpf/verifier.c

16525 static bool check_ids(u32 old_id, u32 cur_id, struct bpf_idmap *idmap)
16531 	if (!!old_id != !!cur_id)
16534 	if (old_id == 0) /* cur_id == 0 as well */
16541 			map[i].cur = cur_id;
16545 			return map[i].cur == cur_id;
16546 		if (map[i].cur == cur_id)
16555  * for 'old_id' or 'cur_id' of zero.
16558 static bool check_scalar_ids(u32 old_id, u32 cur_id, struct bpf_idmap *idmap)
16561 	cur_id = cur_id ? cur_id : ++idmap->tmp_id_gen;
16563 	return check_ids(old_id, cur_id, idmap);