By default smatch looks for the list of no return functions in "smatch_data/no_return_funcs". Or if you pass a -p/--project option, then it looks for them in the "smatch_data/<project>.no_return_funcs" file.
Okay, I probably understand the issue. The real question is, why don't smatch parse "attribute(noreturn)" automatically? /usr/include/stdlib.h --------------------------- extern void exit (int __status) __THROW __attribute__ ((__noreturn__)); I'd like to know this is technical issue or no one interested issue. :) -- 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