__module_put_and_exit() doesn't return.
commit85380c5f946c84923a5b2242e1917ba6875ceec4
authorDan Carpenter <error27@gmail.com>
Tue, 7 Apr 2009 05:08:14 +0000 (7 08:08 +0300)
committerDan Carpenter <error27@gmail.com>
Tue, 7 Apr 2009 05:08:14 +0000 (7 08:08 +0300)
treec974571d9b61af43cd721bacdf36d97da9555a62
parent81b03daad2a4f2571c3c015edb04490680cc22e2
__module_put_and_exit() doesn't return.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_extra.c