Received: by 2002:a25:7ec1:0:0:0:0:0 with SMTP id z184csp840171ybc; Tue, 19 Nov 2019 10:06:22 -0800 (PST) X-Google-Smtp-Source: APXvYqzUkrATVj8CvdsAanBLzHN5YiW2m1HEE0hvZ/jyk6WMXVy1fq5xUEXxfXqYGEydXwBamZE5 X-Received: by 2002:a2e:b007:: with SMTP id y7mr5052570ljk.69.1574186782770; Tue, 19 Nov 2019 10:06:22 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1574186782; cv=none; d=google.com; s=arc-20160816; b=u3Sj5D3K87l+XKPeNwqxUUWRU6LI2pi6EGFsazNF+Sr+xeTcobsCFR1JAiBb35lmox BfgbWKi9MXU4IriQaRed0G6lYTAXehBX2qPeaHArRUDLPIeJ3GmJ5mi7VYMYzHSdiPQv eJ96+viergvu5kX/HO6nwb166EOyCgZlRIzxuCv7dMbSPkt/tEyOTsMGEZrTcKyior7q beF+G+ML0rLDkI5dr2aw6q8gLzmIrI5lPzWUgzaYzA2lYfC9c/4DSPYu2yjhwmiQ/34P 9z7lzgqUelzcLJqoAlI7qasH1mjkAywd+eAccgCgU4phAahq0aAanFXWUli2sunA0/uz dvlg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:references:in-reply-to:message-id:date :subject:cc:to:from; bh=2WSJNLGYgkt8zOGZ4/kAViszF+x1JeybVVYVA7UH1lE=; b=R6U/ZV3RE1AbaAGJbHFI334zg9KOIVeXs881X2B3s1ms/hfKDRubzSTMQJIm9jQBzL BhXdJCAmYhOBZC1eYoayWqd0iYT5eulaV1W6hGC6FB52/+0bpT5eBY2pebvVIl+OSUEP 8mEHXcLO4EFpPLFcrRkIYYGCAdrRK3Har8jA+vXjis4Drqy6uBs3N3k9QcYSWcOMrohs GqbkEujOpRhpJxSbJcFSrPgUpc9sc5wxf+act0DQzpkIymqe3eYeFiM6pSdr2QypZfto nIQGq8eBhsRBPBbriAmWiuJTdeOkdwMJALGzWMEaEf1wZD1NZHnV5Dfkst3B5zyogwbr yI7A== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id h3si11414287ejc.136.2019.11.19.10.05.58; Tue, 19 Nov 2019 10:06:22 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727224AbfKSSEF (ORCPT + 99 others); Tue, 19 Nov 2019 13:04:05 -0500 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:4355 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726825AbfKSSEF (ORCPT ); Tue, 19 Nov 2019 13:04:05 -0500 X-IronPort-AV: E=Sophos;i="5.69,218,1571695200"; d="scan'208";a="412559092" Received: from palace.lip6.fr ([132.227.105.202]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA256; 19 Nov 2019 19:04:02 +0100 From: Julia Lawall To: Masahiro Yamada Cc: kernel-janitors@vger.kernel.org, Gilles Muller , Nicolas Palix , Michal Marek , cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org Subject: [PATCH 1/4] coccinelle: platform_get_irq: simplify context case Date: Tue, 19 Nov 2019 18:28:17 +0100 Message-Id: <1574184500-29870-2-git-send-email-Julia.Lawall@lip6.fr> X-Mailer: git-send-email 1.9.1 In-Reply-To: <1574184500-29870-1-git-send-email-Julia.Lawall@lip6.fr> References: <1574184500-29870-1-git-send-email-Julia.Lawall@lip6.fr> Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Simplify to just report on the first dev_err, whereever it occurs. Signed-off-by: Julia Lawall --- scripts/coccinelle/api/platform_get_irq.cocci | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/scripts/coccinelle/api/platform_get_irq.cocci b/scripts/coccinelle/api/platform_get_irq.cocci index 06b6a95..c6ac755 100644 --- a/scripts/coccinelle/api/platform_get_irq.cocci +++ b/scripts/coccinelle/api/platform_get_irq.cocci @@ -23,16 +23,9 @@ platform_get_irq_byname if ( \( ret < 0 \| ret <= 0 \) ) { -( -if (ret != -EPROBE_DEFER) -{ ... -*dev_err(...); -... } -| ... *dev_err(...); -) -... +... when any } @depends on patch@