Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751229AbdGOU4F (ORCPT ); Sat, 15 Jul 2017 16:56:05 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:60807 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751182AbdGOU4D (ORCPT ); Sat, 15 Jul 2017 16:56:03 -0400 X-IronPort-AV: E=Sophos;i="5.40,365,1496095200"; d="scan'208";a="283494227" Date: Sat, 15 Jul 2017 22:56:01 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@hadrien To: Mark D Rustad cc: Tony Lindgren , keescook@chromium.org, kernel-janitors@vger.kernel.org, Lee Jones , linux-omap@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH 07/11] mfd: Drop unnecessary static In-Reply-To: Message-ID: References: <1500149266-32357-1-git-send-email-Julia.Lawall@lip6.fr> <1500149266-32357-8-git-send-email-Julia.Lawall@lip6.fr> User-Agent: Alpine 2.20 (DEB 67 2015-01-07) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1781 Lines: 68 On Sat, 15 Jul 2017, Mark D Rustad wrote: > > On Jul 15, 2017, at 1:07 PM, Julia Lawall wrote: > > > > Drop static on a local variable, when the variable is initialized before > > any possible use. Thus, the static has no benefit. > > I think in this case the use relies on the structure continuing to exist, so a stack object is not an acceptable substitute. Just because it is initialized doesn't mean that it doesn't need a persistent lifetime. OK, I see. Thanks for the feedback. I'll extend the rule to ensure that the address of the variable is not taken. Ignore this patch in any case. julia > > > The semantic patch that fixes this problem is as follows: > > (http://coccinelle.lip6.fr/) > > > > // > > @bad exists@ > > position p; > > identifier x; > > type T; > > @@ > > static T x@p; > > ... > > x = <+...x...+> > > > > @@ > > identifier x; > > expression e; > > type T; > > position p != bad.p; > > @@ > > -static > > T x@p; > > ... when != x > > when strict > > ?x = e; > > // > > > > Signed-off-by: Julia Lawall > > > > --- > > These patches are all independent of each other. > > > > drivers/mfd/twl4030-irq.c | 2 +- > > 1 file changed, 1 insertion(+), 1 deletion(-) > > > > diff -u -p a/drivers/mfd/twl4030-irq.c b/drivers/mfd/twl4030-irq.c > > --- a/drivers/mfd/twl4030-irq.c > > +++ b/drivers/mfd/twl4030-irq.c > > @@ -685,7 +685,7 @@ int twl4030_sih_setup(struct device *dev > > > > int twl4030_init_irq(struct device *dev, int irq_num) > > { > > - static struct irq_chip twl4030_irq_chip; > > + struct irq_chip twl4030_irq_chip; > > int status, i; > > int irq_base, irq_end, nr_irqs; > > struct device_node *node = dev->of_node; > > -- > Mark Rustad, MRustad@gmail.com > >