diff options
Diffstat (limited to 'coccinelle')
| -rw-r--r-- | coccinelle/isempty.cocci | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/coccinelle/isempty.cocci b/coccinelle/isempty.cocci index cd912ff18f..2089970886 100644 --- a/coccinelle/isempty.cocci +++ b/coccinelle/isempty.cocci @@ -132,3 +132,13 @@ expression s; - prioq_size(s) != 0 + !prioq_isempty(s) ) +@@ +expression s; +@@ +( +- table_get_rows(s) <= 1 ++ table_isempty(s) +| +- table_get_rows(s) > 1 ++ !table_isempty(s) +) |