Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1759877Ab1FATtd (ORCPT ); Wed, 1 Jun 2011 15:49:33 -0400 Received: from na3sys009aob106.obsmtp.com ([74.125.149.76]:35551 "EHLO na3sys009aog106.obsmtp.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1759492Ab1FATt2 (ORCPT ); Wed, 1 Jun 2011 15:49:28 -0400 Subject: Re: [PATCH 7/10] drivers/net/davinci_emac.c: add missing clk_put From: Kevin Hilman To: Julia Lawall Cc: "David S. Miller" , kernel-janitors@vger.kernel.org, Cyril Chemparathy , Sriramakrishnan A G , Stefan Weil , netdev@vger.kernel.org, linux-kernel@vger.kernel.org In-Reply-To: <1306948213-20767-7-git-send-email-julia@diku.dk> References: <1306948213-20767-7-git-send-email-julia@diku.dk> Content-Type: text/plain; charset="UTF-8" Organization: Texas Instruments, Inc. Date: Wed, 01 Jun 2011 12:49:24 -0700 Message-ID: <1306957764.26236.37.camel@vence> Mime-Version: 1.0 X-Mailer: Evolution 2.32.2 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 933 Lines: 35 On Wed, 2011-06-01 at 19:10 +0200, Julia Lawall wrote: > From: Julia Lawall > > Go to existing error handling code at the end of the function that calls > clk_put. > > A simplified version of the semantic match that finds this problem is as > follows: (http://coccinelle.lip6.fr/) > > // > @r exists@ > expression e1,e2; > statement S; > @@ > > e1 = clk_get@p1(...); > ... when != e1 = e2 > when != clk_put(e1) > when any > if (...) { ... when != clk_put(e1) > when != if (...) { ... clk_put(e1) ... } > * return@p3 ...; > } else S > // > > Signed-off-by: Julia Lawall Acked-by: Kevin Hilman -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/