implied: add more information to the debug output
commit1c0d83603d86e312ce0806263bd8ebf07a92e775
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 15 Jul 2016 13:34:04 +0000 (15 16:34 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Sat, 16 Jul 2016 21:44:53 +0000 (17 00:44 +0300)
tree6522a7bf89964f415ba6a54c5397c2d618035a84
parent6bfb331d322c756b09ef6ad158a38a9b551297dc
implied: add more information to the debug output

Add information to say why a state is kept.

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