--debug means print the implications
commit4e845fc9bf4904fcf80929b559300e51032d1459
authorDan Carpenter <error27@gmail.com>
Wed, 1 Apr 2009 09:47:59 +0000 (1 12:47 +0300)
committerDan Carpenter <error27@gmail.com>
Wed, 1 Apr 2009 09:47:59 +0000 (1 12:47 +0300)
treec8891104383c0833e5077e349bcce2db46c30763
parente1567f6b4de53e98aae5251ab6b8b4318ef5a529
--debug means print the implications

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