Prevent some endless loops.
commit0f380503c88671f49c41f4152d54085153c90ad8
authorDan Carpenter <error27@gmail.com>
Wed, 6 May 2009 17:38:48 +0000 (6 20:38 +0300)
committerDan Carpenter <error27@gmail.com>
Wed, 6 May 2009 17:38:48 +0000 (6 20:38 +0300)
treed069c0f9f072715d2cb76b948b70f4282cd11ee8
parent7f2e0b940daf39b05d31596e967a231502897d38
Prevent some endless loops.

It might be a better idea to change the way that sm_states get merged with
other sm_states that already include them as a pre_merge state.  But
that's tricky and this should work just as well.

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