implied: improve debugging
commit0412863979a7f79c31c974f2be464c440d2a437f
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 30 Jul 2018 08:30:34 +0000 (30 11:30 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 30 Jul 2018 08:30:34 +0000 (30 11:30 +0300)
tree7e6982e2fc2f3460b39dd6547cb94dbd81910cbf
parentd381feafa7b3c020c6dad8aed5bad54c5eb617c9
implied: improve debugging

We were turning off implications here and there is no warning so I couldn't
figure out what was causing the false positive.

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