Don't check that there are both true and false states. Reshuffle.
commite82c233510f955cc8373bfd9dcba82f95a1f791c
authorDan Carpenter <error27@gmail.com>
Thu, 26 Feb 2009 18:58:32 +0000 (26 21:58 +0300)
committerDan Carpenter <error27@gmail.com>
Thu, 26 Feb 2009 18:58:32 +0000 (26 21:58 +0300)
tree79fd7720b9282937a72b09a7bff68610c8c38585
parentcee45b0afb7ff74df0c4ebc27cdcec21a6305da4
Don't check that there are both true and false states.  Reshuffle.

This patch undoes the check to make sure that implied states balance.  If
they don't balance that is the problem for the scripts to deal with.

Also I reshuffled the code a bit.

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