Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752809Ab2JEHgj (ORCPT ); Fri, 5 Oct 2012 03:36:39 -0400 Received: from perches-mx.perches.com ([206.117.179.246]:60445 "EHLO labridge.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1752300Ab2JEHgg (ORCPT ); Fri, 5 Oct 2012 03:36:36 -0400 Message-ID: <1349422595.2008.55.camel@joe-AO722> Subject: Re: [PATCH 19/20] drivers/net/ethernet/marvell/skge.c: fix error return code From: Joe Perches To: Julia Lawall Cc: David Miller , peter.senna@gmail.com, shemminger@vyatta.com, mlindner@marvell.com, kernel-janitors@vger.kernel.org, netdev@vger.kernel.org, linux-kernel@vger.kernel.org Date: Fri, 05 Oct 2012 00:36:35 -0700 In-Reply-To: References: <20121004.142335.1467206545795435493.davem@davemloft.net> <20121004.145419.1859367129463136197.davem@davemloft.net> <1349395795.2008.26.camel@joe-AO722> Content-Type: text/plain; charset="ISO-8859-1" X-Mailer: Evolution 3.6.0-0ubuntu3 Mime-Version: 1.0 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 604 Lines: 18 On Fri, 2012-10-05 at 07:22 +0200, Julia Lawall wrote: > A tool was used to find a potential problem, and then Peter > studied the code to see what fix was appropriate. Hi Julia. Was it true that a static analysis tool found the original potential issue? If so, what tool was it? But wasn't the scripted fix applied to the rest of the tree robotically? -- 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/