But your patch does not remove the wrong "env->insn_aux_data[insn_idx].seen = true" from kernel/bpf/verifier.c line 1844. I think that "seen" shouldn't be set there. The line was probably added there by mistake. It should have been added for the LD IMM64 case in the first place.
Seth, I reported the same issue in LP#1763352 (https:/ /bugs.launchpad .net/ubuntu/ +source/ linux/+ bug/1763352).
My patch there does essentially the same as yours, so I will mention in that ticket that it's a duplicate.
But your patch does not remove the wrong "env->insn_ aux_data[ insn_idx] .seen = true" from kernel/ bpf/verifier. c line 1844. I think that "seen" shouldn't be set there. The line was probably added there by mistake. It should have been added for the LD IMM64 case in the first place.