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 regards, dan carpenter -- 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