# [PATCH] coccinelle: merge two rules from free.cocci

1 messages from 2019-11-12 to 2019-11-12. Participants: Markus Elfring.
Thread: https://gitlist.dev/t/52239

## Markus Elfring, 2019-11-12 14:15

Subject: [PATCH] coccinelle: merge two rules from free.cocci
Message-ID: <17c6e9d5-5a06-8150-fa82-e20e7b850fe4@web.de>
URL: https://gitlist.dev/e/17c6e9d5-5a06-8150-fa82-e20e7b850fe4%40web.de

```
From: Markus Elfring <elfring@users.sourceforge.net>
Date: Tue, 12 Nov 2019 15:00:29 +0100

This script contained two transformation rules for the semantic patch language
where a condition check should be removed before free() calls.
It should not matter if a corresponding expression begins with a not operator
(or not). Thus combine these rules by using a SmPL disjunction.

Signed-off-by: Markus Elfring <elfring@users.sourceforge.net>
---
 contrib/coccinelle/free.cocci | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/contrib/coccinelle/free.cocci b/contrib/coccinelle/free.cocci
index 4490069df9..63e442d3ef 100644
--- a/contrib/coccinelle/free.cocci
+++ b/contrib/coccinelle/free.cocci
@@ -1,13 +1,7 @@
 @@
 expression E;
 @@
-- if (E)
-  free(E);
-
-@@
-expression E;
-@@
-- if (!E)
+- if ( \( E \| !E \) )
   free(E);

 @@
--
2.24.0


```