On Thu, Jun 25, 2015 at 12:05:24AM +0200, Rasmus Villemoes wrote: > Btw, I noticed that for a few source files, smatch takes several > minutes to run, even though the average is around 1 second. Do you > happen to know why? (In particular, should I look in smatch or sparse > code). I just pushed a fix to speed things up. The main thing was there were some huge arrays which caused a slow down. I changed it to ingore arrays with over 1000 elements. The other thing is that I added a shell script to hack the database to deal with some rtlwifi drivers. I will probably add a general purpose fix for this as well. 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
