extra: handle loops where without a hard max that don't have a break
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 23 Nov 2012 11:50:49 +0000 (14:50 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 23 Nov 2012 11:50:49 +0000 (14:50 +0300)
commit43f32e21c213c3bdc01f87130b6d52f6fe70d91e
treee594b0c5c72923ceb9ef1d2ed8fa9e7f06bbd134
parent9152d6aac439aebe6cc63b7ac87a2f2016f74ad5
extra: handle loops where without a hard max that don't have a break

If the loop doesn't have a hard max, then the value after the loop is
unknown-ish the same as it was before.  If we have a break statement this
works already, but if we don't then this was setting it to the max.

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