Home
last modified time | relevance | path

Searched refs:known_reg (Results 1 – 1 of 1) sorted by relevance

/linux-6.12.1/kernel/bpf/
Dverifier.c15305 static void sync_linked_regs(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg, in sync_linked_regs() argument
15317 if (reg->type != SCALAR_VALUE || reg == known_reg) in sync_linked_regs()
15319 if ((reg->id & ~BPF_ADD_CONST) != (known_reg->id & ~BPF_ADD_CONST)) in sync_linked_regs()
15321 if ((!(reg->id & BPF_ADD_CONST) && !(known_reg->id & BPF_ADD_CONST)) || in sync_linked_regs()
15322 reg->off == known_reg->off) { in sync_linked_regs()
15325 copy_register_state(reg, known_reg); in sync_linked_regs()
15332 __mark_reg_known(&fake_reg, (s32)reg->off - (s32)known_reg->off); in sync_linked_regs()
15335 copy_register_state(reg, known_reg); in sync_linked_regs()