On Mon, Jun 18, 2012 at 04:43:38PM +0300, Dan Carpenter wrote: > On Mon, Jun 18, 2012 at 08:33:58AM -0400, KOSAKI Motohiro wrote: > > >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? > > > > That's a fair point. I'll push a patch for this later today. > I pushed this and also my buffer size work. 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
