linux/kernel/bpf/states.c, branch masterMirror of https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/
https://git.shady.money/linux/atom?h=master2026-04-12T19:36:52Zbpf: Move state equivalence logic to states.c2026-04-12T19:36:52ZAlexei Starovoitovast@kernel.org2026-04-12T15:29:33Zurn:sha1:c82834a5a11f743f2926107d8f8150e80742b814
verifier.c is huge. Move is_state_visited() to states.c,
so that all state equivalence logic is in one file.
Mechanical move. No functional changes.
Acked-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Link: https://lore.kernel.org/r/20260412152936.54262-5-alexei.starovoitov@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>