From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S934250AbcKWJHk (ORCPT ); Wed, 23 Nov 2016 04:07:40 -0500 Received: from userp1040.oracle.com ([156.151.31.81]:33964 "EHLO userp1040.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S933674AbcKWJFd (ORCPT ); Wed, 23 Nov 2016 04:05:33 -0500 From: Vaishali Thakkar To: mmarek@suse.com Cc: julia.lawall@lip6.fr, gilles.muller@lip6.fr, nicolas.palix@imag.fr, lars@metafoo.de, cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org, Vaishali Thakkar Subject: [PATCH v4 2/3] Coccinelle: misc: Improve the result given by context mode Date: Wed, 23 Nov 2016 14:16:46 +0530 Message-Id: X-Mailer: git-send-email 2.1.4 In-Reply-To: References: X-Source-IP: aserv0022.oracle.com [141.146.126.234] Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org To eliminate false positives given by the context mode, add necessary arguments for the function request_threaded_irq. Signed-off-by: Vaishali Thakkar Acked-by: Julia Lawall --- Changes since v3: - No changes in this patch Changes since v2: - Add missing declaration of metavariable irq Changes since v1: - Split patch in to the patch set --- scripts/coccinelle/misc/irqf_oneshot.cocci | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/coccinelle/misc/irqf_oneshot.cocci b/scripts/coccinelle/misc/irqf_oneshot.cocci index bd3e140..cec3672 100644 --- a/scripts/coccinelle/misc/irqf_oneshot.cocci +++ b/scripts/coccinelle/misc/irqf_oneshot.cocci @@ -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; -- 2.1.4