debug: print more useful information about conditions
commit7b8faa48a2733b95d28b8b00a74ae7e8da6ccab8
authorDan Carpenter <error27@gmail.com>
Thu, 1 Apr 2010 06:52:43 +0000 (1 09:52 +0300)
committerDan Carpenter <error27@gmail.com>
Thu, 1 Apr 2010 06:52:43 +0000 (1 09:52 +0300)
tree7852a6c8f700b9c95a6437a2d8ddfdca6eff15ee
parent36794f42ec4a7890fc8dd2edcffbb30e75f93894
debug: print more useful information about conditions

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_conditions.c