Date: Wed, 20 May 2015 22:42:43 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
To: "Dilger, Andreas" <andreas.dilger@intel.com>
Cc: "open list:STAGING SUBSYSTEM" <devel@driverdev.osuosl.org>,
        Julia Lawall <Julia.Lawall@lip6.fr>,
        Adrian Remonda <adrianremonda@gmail.com>,
        open list <linux-kernel@vger.kernel.org>,
        "Drokin, Oleg" <oleg.drokin@intel.com>,
        Greg Donald <gdonald@gmail.com>,
        Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
        "moderated list:STAGING - LUSTRE..." <HPDD-discuss@ml01.01.org>,
        Joe Perches <joe@perches.com>
Subject: Re: [PATCH 4/4] Staging: lustre: sparse lock warning fix
Message-ID: <20150520194243.GG4150@mwanda>
References: <1431974091-26363-1-git-send-email-adrianremonda@gmail.com>
 <1431974091-26363-2-git-send-email-adrianremonda@gmail.com>
 <1431974091-26363-3-git-send-email-adrianremonda@gmail.com>
 <1431974091-26363-4-git-send-email-adrianremonda@gmail.com>
 <1431974091-26363-5-git-send-email-adrianremonda@gmail.com>
 <20150518212115.GN14154@mwanda>
 <D18216B5.F1936%andreas.dilger@intel.com>
 <20150520192924.GS22558@mwanda>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20150520192924.GS22558@mwanda>
User-Agent: Mutt/1.5.21 (2010-09-15)
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 638
Lines: 17

In Smatch, it the equivalent warning is turned off by default because
there are too many false positives, but you can enable it with the
--spammy flag.

kchecker --spammy drivers/staging/lustre/lustre/ptlrpc/nrs.c

drivers/staging/lustre/lustre/ptlrpc/nrs.c:512 nrs_resource_put_safe()
warn: 'spin_lock:&nrs->nrs_lock' is sometimes locked here and sometimes unlocked.

regards,
dan carpenter

--
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/