Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
Date:   Fri, 6 Jul 2018 07:49:18 +0200 (CEST)
From:   Julia Lawall <julia.lawall@lip6.fr>
To:     Dan Carpenter <dan.carpenter@oracle.com>
cc:     Joe Perches <joe@perches.com>,
        Prakruthi Deepak Heragu <pheragu@codeaurora.org>,
        apw@canonical.com, Julia Lawall <julia.lawall@lip6.fr>,
        Dan Carpenter <error27@gmail.com>,
        linux-kernel@vger.kernel.org, ckadabi@codeaurora.org,
        tsoni@codeaurora.org, bryanh@codeaurora.org,
        Israel Schlesinger <israels@codeaurora.org>,
        Stepan Moskovchenko <stepanm@codeaurora.org>,
        baijiaju1990@gmail.com
Subject: Re: [PATCH] checkpatch: Add warnings for use of mdelay()
In-Reply-To: <20180705081953.pmvpmtzm273eb6yk@mwanda>
Message-ID: <alpine.DEB.2.20.1807060747280.3506@hadrien>
References: <1530728333-31590-1-git-send-email-pheragu@codeaurora.org> <173cc189627e0d6618b535fcd1ce6a4c90ce2ad0.camel@perches.com> <20180705081953.pmvpmtzm273eb6yk@mwanda>
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
Precedence: bulk


On Thu, 5 Jul 2018, Dan Carpenter wrote:

> Neither Smatch nor Coccinelle do a good job tracking when you're in
> atomic context.  I've wanted to add this to Smatch but even then it
> would be to warn that "We're holding a spinlock so we can't sleep".
> It's trickier to say for sure when you're not holding a lock...

Jia-Ju Bai is working on this.  The tool is available on github.  It's
still being improved, though, so perhaps it's not yet ready for eg 0-day
inclusion.  He can give more details.

julia