check_locking: delete old states correctly (sort of)
commit86487b22a2cf8d07322f5a807dfd7805cbefe407
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 8 Feb 2021 07:38:08 +0000 (8 10:38 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 8 Feb 2021 07:38:08 +0000 (8 10:38 +0300)
treea8b34b728dd3984d187da34ce5bdd705770822e2
parent4dd68a3061f25abf062bb7e6a81b9561b94e701b
check_locking: delete old states correctly (sort of)

The problem is that delete_state() doesn't work for flow analysis.  It's
still useful for saving memory sometimes.  Where it breaks down is inside
conditions.

Use set_state to &ignore instead.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_locking.c