From 9d67918643e7d17c433e82eb6cdb039cb103c50f Mon Sep 17 00:00:00 2001 From: Phil Sutter Date: Mon, 7 Dec 2020 18:26:24 +0100 Subject: [PATCH] mergesort: unbreak listing with binops Bugzilla: https://bugzilla.redhat.com/show_bug.cgi?id=1891790 Upstream Status: nftables commit 3926a3369bb5a commit 3926a3369bb5ada5c0706dadcbcf938517822a35 Author: Pablo Neira Ayuso Date: Thu Aug 20 01:05:04 2020 +0200 mergesort: unbreak listing with binops tcp flags == {syn, syn|ack} tcp flags & (fin|syn|rst|psh|ack|urg) == {ack, psh|ack, fin, fin|psh|ack} results in: BUG: Unknown expression binop nft: mergesort.c:47: expr_msort_cmp: Assertion `0' failed. Aborted (core dumped) Signed-off-by: Pablo Neira Ayuso --- src/mergesort.c | 2 ++ tests/py/inet/tcp.t | 2 ++ tests/py/inet/tcp.t.payload | 21 +++++++++++++++++++++ 3 files changed, 25 insertions(+) diff --git a/src/mergesort.c b/src/mergesort.c index 649b780..02094b4 100644 --- a/src/mergesort.c +++ b/src/mergesort.c @@ -43,6 +43,8 @@ static int expr_msort_cmp(const struct expr *e1, const struct expr *e2) return concat_expr_msort_cmp(e1, e2); case EXPR_MAPPING: return expr_msort_cmp(e1->left, e2->left); + case EXPR_BINOP: + return expr_msort_cmp(e1->left, e2->left); default: BUG("Unknown expression %s\n", expr_name(e1)); } diff --git a/tests/py/inet/tcp.t b/tests/py/inet/tcp.t index e0a83e2..29f06f5 100644 --- a/tests/py/inet/tcp.t +++ b/tests/py/inet/tcp.t @@ -79,6 +79,8 @@ tcp flags != cwr;ok tcp flags == syn;ok tcp flags & (syn|fin) == (syn|fin);ok;tcp flags & (fin | syn) == fin | syn tcp flags & (fin | syn | rst | psh | ack | urg | ecn | cwr) == fin | syn | rst | psh | ack | urg | ecn | cwr;ok;tcp flags == 0xff +tcp flags { syn, syn | ack };ok +tcp flags & (fin | syn | rst | psh | ack | urg) == { fin, ack, psh | ack, fin | psh | ack };ok tcp window 22222;ok tcp window 22;ok diff --git a/tests/py/inet/tcp.t.payload b/tests/py/inet/tcp.t.payload index 55f1bc2..076e562 100644 --- a/tests/py/inet/tcp.t.payload +++ b/tests/py/inet/tcp.t.payload @@ -680,3 +680,24 @@ inet test-inet input [ bitwise reg 1 = (reg=1 & 0x000000f0 ) ^ 0x00000000 ] [ cmp eq reg 1 0x00000080 ] +# tcp flags & (fin | syn | rst | psh | ack | urg) == { fin, ack, psh | ack, fin | psh | ack } +__set%d test-inet 3 +__set%d test-inet 0 + element 00000001 : 0 [end] element 00000010 : 0 [end] element 00000018 : 0 [end] element 00000019 : 0 [end] +ip + [ meta load l4proto => reg 1 ] + [ cmp eq reg 1 0x00000006 ] + [ payload load 1b @ transport header + 13 => reg 1 ] + [ bitwise reg 1 = (reg=1 & 0x0000003f ) ^ 0x00000000 ] + [ lookup reg 1 set __set%d ] + +# tcp flags { syn, syn | ack } +__set%d test-inet 3 +__set%d test-inet 0 + element 00000002 : 0 [end] element 00000012 : 0 [end] +inet + [ meta load l4proto => reg 1 ] + [ cmp eq reg 1 0x00000006 ] + [ payload load 1b @ transport header + 13 => reg 1 ] + [ lookup reg 1 set __set%d ] + -- 2.31.1