implied: preserve equivalence across switch statements
commit019c06baa2ade613110ab45d9e15de277ad4c4ec
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 9 May 2013 07:07:54 +0000 (9 10:07 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 9 May 2013 07:07:54 +0000 (9 10:07 +0300)
treecc6627bfdb7e84897ebbe13d16110f615624944f
parent47beedc2779e676ba43de589d22823a3a1ecb54f
implied: preserve equivalence across switch statements

This should be using the set_extra_nomod() helper so that the equivalent
variables are updated as well.

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