extra: don't set true/false states if it's the same as the original
commit210e54395e62dc4a596e002d54959fad1e1e8e4d
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 21 Feb 2018 08:58:52 +0000 (21 11:58 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 21 Feb 2018 08:58:52 +0000 (21 11:58 +0300)
tree8b3fdc98b793f686a353c987e9cd4788b17d66a6
parentbecf4d970c3a550a537b7df809712cd4eff86b94
extra: don't set true/false states if it's the same as the original

I don't totally remember what the test case for this was...  But the idea
is pretty clear which is that we don't like to create new states for no
reason because it overwrites the implications.

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