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 majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
