comparison: add some debug output
commit6a2b8436de5925716ab66ec08655c3c23a77bcee
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 22 Jun 2018 11:52:31 +0000 (22 14:52 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 22 Jun 2018 11:52:31 +0000 (22 14:52 +0300)
tree3478145e1587f7f35e806d2fef6dbab76cb72079
parentce9e3e2078021d10cc29183f0b38a500b4a5b167
comparison: add some debug output

This is useful when debugging implications.

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