Coccinelle: misc: Improve the result given by context mode
authorVaishali Thakkar <vaishali.thakkar@oracle.com>
Wed, 23 Nov 2016 08:46:46 +0000 (14:16 +0530)
committerMichal Marek <mmarek@suse.com>
Sun, 11 Dec 2016 11:08:26 +0000 (12:08 +0100)
To eliminate false positives given by the context mode, add
necessary arguments for the function request_threaded_irq.

Signed-off-by: Vaishali Thakkar <vaishali.thakkar@oracle.com>
Acked-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.com>
scripts/coccinelle/misc/irqf_oneshot.cocci

index cbe4ba8f293ac564bbaeee9b535d8a19f76f2f28..37ede13cd51736fad941bd281ef6fea3ebb33c3a 100644 (file)
@@ -79,9 +79,10 @@ devm_request_threaded_irq@p(dev, irq, NULL, thread_fn,
 )
 
 @depends on context@
+expression irq;
 position p != {r1.p,r2.p};
 @@
-*request_threaded_irq@p(...)
+*request_threaded_irq@p(irq, NULL, ...)
 
 @match depends on report || org@
 expression irq;