From: Markus Elfring <elfr...@users.sourceforge.net>
Date: Sun, 12 May 2019 18:32:46 +0200

An assignment target was repeated in four SmPL when constraints.
Combine the exclusion specifications into disjunctions for the semantic
patch language so that this target is referenced only once there.

Signed-off-by: Markus Elfring <elfr...@users.sourceforge.net>
---
 scripts/coccinelle/free/put_device.cocci | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/scripts/coccinelle/free/put_device.cocci 
b/scripts/coccinelle/free/put_device.cocci
index 120921366e84..aae79c02c1e0 100644
--- a/scripts/coccinelle/free/put_device.cocci
+++ b/scripts/coccinelle/free/put_device.cocci
@@ -23,10 +23,7 @@ if (id == NULL || ...) { ... return ...; }
     when != platform_device_put(id)
     when != of_dev_put(id)
     when != if (id) { ... put_device(&id->dev) ... }
-    when != e1 = (T)id
-    when != e1 = (T)(&id->dev)
-    when != e1 = get_device(&id->dev)
-    when != e1 = (T1)platform_get_drvdata(id)
+    when != e1 = \( (T) \( id \| (&id->dev) \) \| get_device(&id->dev) \| 
(T1)platform_get_drvdata(id) \)
 (
   return
 (    id
--
2.21.0

Reply via email to