Re: [PATCH] locking/refcount: add sparse annotations to dec-and-lock functions

From: Dan Carpenter
Date: Fri Jan 03 2020 - 07:56:04 EST


I re-wrote Smatch's locking check last month to use the cross function
DB. Now Smatch can parse refcount_dec_and_lock() directly without any
modifications or annotations.

regards,
dan carpenter