Hi Dan If and when you have time, can I get you to look at my misc_tweaks branch on github? <https://github.com/Villemoes/smatch/tree/misc_tweaks>. It is work-in-progress, but I'd like to hear if you hate it (or parts thereof) before doing more of the performance improvements. 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). Rasmus -- 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
