[Bug target/123502] xdp-tools fails tests for bpf (bitwise operator &= on pointer prohibited)

[jemarch at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123502

--- Comment #7 from Jose E. Marchesi <jemarch at gcc dot gnu.org> ---
So the verifier likes:

        r1 = r10
        r1 += -256

but not:

        add     %r1,-249
        and     %r1,-64