[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20120720064320.GJ16348@mwanda>
Date: Fri, 20 Jul 2012 09:43:20 +0300
From: Dan Carpenter <dan.carpenter@...cle.com>
To: Anton Vorontsov <cbouatmailru@...il.com>
Cc: linux-kernel@...r.kernel.org, devel@...verdev.osuosl.org
Subject: Re: pstore/ram: Add ftrace messages handling
On Thu, Jul 19, 2012 at 04:20:32PM -0700, Anton Vorontsov wrote:
> Hi Dan,
>
> On Thu, Jul 19, 2012 at 05:28:56PM +0300, Dan Carpenter wrote:
> > The patch a694d1b5916a: "pstore/ram: Add ftrace messages handling"
> > from Jul 9, 2012, leads to the following Smatch complaint:
>
> A nice tool. The homepage of Smatch doesn't explicitly say that, so
> I have to ask: is it a complete superset of sparse (i.e. does it
> produce all the warnings that the pure sparse can produce)?
> If so, I'll probably switch to it from the vanilla sparse.
>
No. It just uses Sparse as a parser.
regards,
dan carpenter
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists