check_atomic_inc_dec: track atomic_inc() and atomic_dec()
commit3387938185fed2c36fb53c93afe3cdf7b2977ef0
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 17 Jan 2018 13:14:44 +0000 (17 16:14 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 17 Jan 2018 13:14:44 +0000 (17 16:14 +0300)
tree189b3d95365bcff08f87ab5a8e83a2d1ff0e1f46
parent283cfa12a4ab72030182c9586e5d7119362b8fe5
check_atomic_inc_dec: track atomic_inc() and atomic_dec()

I had some ideas that I would find leaked atomic_inc() overflows with this
where we increment a counter to show that something is in use but forget
to decrement it on some error paths.

That project turned out harder to implement than I had hoped.  But I still
want to commit this because I use the information for other checks.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_atomic_inc_dec.c [new file with mode: 0644]
smatch.h
smatch_data/db/fixup_kernel.sh