smatch: remove --known_conditions option
commit562b114c34f84b2aec0b025bf92af7cb10ebfb31
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 1 Dec 2015 13:08:38 +0000 (1 16:08 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 1 Dec 2015 13:08:38 +0000 (1 16:08 +0300)
tree8c5faa90d5c254b624d18669a9f58f5bfd13614f
parent9221317505bc9d446a208e5d2acbd2df3979e041
smatch: remove --known_conditions option

This option is useless.  Remove it.

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