Commit 6979625686ec ("relational: Eliminate meta OPs") introduced some
bugs when printing bitmask types.
First, during the post-processing phase of delinearization, the
expression for "tcp flags syn" (PAYLOAD & flag != 0) gets converted to
PAYLOAD == flag, which is not equivalent. This should be
P
Sabrina Dubroca wrote:
> Commit 6979625686ec ("relational: Eliminate meta OPs") introduced some
> bugs when printing bitmask types.
>
> First, during the post-processing phase of delinearization, the
> expression for "tcp flags syn" (PAYLOAD & flag != 0) gets converted to
> PAYLOAD == flag, which