implied: we have to make the false states match as well
commit0b78084aeb0004db657d6e2d4fa4c17ec9f2e8e5
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 31 Jul 2015 09:45:25 +0000 (31 12:45 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 31 Jul 2015 09:45:25 +0000 (31 12:45 +0300)
tree85b89127bb09b5004080cb84a2dcddf2ccb3c764
parent8275cedc24555134f57d471e9db3612729374334
implied: we have to make the false states match as well

Before I thought that so long as the true states had a matching false
state then it would be ok.  It turns out the false states have to have a
matching true state as well.

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