equiv: call remove_from_equiv() on assignment
commit784590f50f014e7337ec6065363e5c013a7350a3
authorDan Carpenter <error27@gmail.com>
Mon, 5 Apr 2010 19:31:28 +0000 (5 22:31 +0300)
committerDan Carpenter <error27@gmail.com>
Mon, 5 Apr 2010 19:31:28 +0000 (5 22:31 +0300)
treedc6f3065a3865987103d14b7b65ed5707b5bb048
parent031ee8cf9d30d0bae8ceb785a7f2f9a8f901de57
equiv: call remove_from_equiv() on assignment

When you have "a = b; a = c;" then the second assignment means that "a" is
no longer equal to "b".

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