From mboxrd@z Thu Jan 1 00:00:00 1970 From: Paul Moore Date: Mon, 27 Jul 2009 17:37:29 +0000 Subject: Re: [PATCH 11/12] net/netlabel: Correct redundant test Message-Id: <200907271337.30401.paul.moore@hp.com> List-Id: References: In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: Julia Lawall Cc: netdev@vger.kernel.org, linux-kernel@vger.kernel.org, kernel-janitors@vger.kernel.org On Monday 27 July 2009 12:15:43 pm Julia Lawall wrote: > From: Julia Lawall > > entry was tested for NULL near the beginning of the function, followed by a > return, and there is no intervening modification of its value. > > A simplified version of the semantic match that finds this problem is as > follows: (http://www.emn.fr/x-info/coccinelle/) > > // > @r exists@ > local idexpression x; > expression E; > position p1,p2; > @@ > > if (x = NULL || ...) { ... when forall > return ...; } > ... when != \(x=E\|x--\|x++\|--x\|++x\|x-=E\|x+=E\|x|=E\|x&=E\|&x\) > ( > *x = NULL > > *x != NULL > ) > // > > Signed-off-by: Julia Lawall Good catch, thanks. Acked-by: Paul Moore > --- > net/netlabel/netlabel_kapi.c | 6 ++---- > 1 files changed, 2 insertions(+), 4 deletions(-) > > diff --git a/net/netlabel/netlabel_kapi.c b/net/netlabel/netlabel_kapi.c > index b0e582f..3ff6f32 100644 > --- a/net/netlabel/netlabel_kapi.c > +++ b/net/netlabel/netlabel_kapi.c > @@ -185,8 +185,7 @@ int netlbl_cfg_unlbl_map_add(const char *domain, > return 0; > > cfg_unlbl_map_add_failure: > - if (entry != NULL) > - kfree(entry->domain); > + kfree(entry->domain); > kfree(entry); > kfree(addrmap); > kfree(map4); > @@ -385,8 +384,7 @@ int netlbl_cfg_cipsov4_map_add(u32 doi, > > cfg_cipsov4_map_add_failure: > cipso_v4_doi_putdef(doi_def); > - if (entry != NULL) > - kfree(entry->domain); > + kfree(entry->domain); > kfree(entry); > kfree(addrmap); > kfree(addrinfo); -- paul moore linux @ hp