New files:

Modified files:
kernel/bpf/verifier.c
kernel/bpf/liveness.c
include/linux/bpf_verifier.h