extra: don't set true false states if they are the same on both sides
commite3915483882e461bbb6b9752a5bf22c6289c285b
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 30 Mar 2015 13:04:39 +0000 (30 16:04 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 30 Mar 2015 13:04:39 +0000 (30 16:04 +0300)
tree6d0d94cc6de48ea052864105c009d77a9edee6ce
parent5d61101c7b4dcf7c1166434b90b63961485fefdd
extra: don't set true false states if they are the same on both sides

If both the true and false states are the same then we shouldn't change the
original state.  We are possibly just overwriting implications and,
regardless, it is always a waste of resources.

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