BPF_ALU_NON_POINTER
aux->alu_state == BPF_ALU_NON_POINTER)
return update_alu_sanitation_state(aux, BPF_ALU_NON_POINTER, 0);