On Thu, Apr 24, 2014 at 05:17:25PM +0300, Dan Carpenter wrote: > On Tue, Apr 22, 2014 at 07:42:05PM +0200, Silvan Jegen wrote: > > On Tue, Apr 22, 2014 at 06:25:13PM +0300, Dan Carpenter wrote: > > > On Tue, Apr 22, 2014 at 04:28:35PM +0300, Dan Carpenter wrote: > > > > Thanks for the report. This was introduced in commit a5d654e8e937 > > > > ('missing_break: use fewer states'). I didn't notice this because I > > > > have some code in my testing tree which cancels out this bug. Very > > > > weird. Sorry, about that. > > > > > > Hm... Nope. That's not it. The missing_break change can't possibly > > > be it. Anyway, I will continue looking at this. > > > > I can't tell whether this commit is the actual source of the issue but > > "git bisect" pointed me to the same commit: > > Thanks. I have pushed a fix for this. > > http://repo.or.cz/w/smatch.git/commit/97e0f3a07f0a55cf6a1b279c33d533d819ece8c6 This seems to fix the issue for me. Thanks for the tool and the fix! Cheers, Silvan -- To unsubscribe from this list: send the line "unsubscribe smatch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html