If there is an i++ then the value of 'i' is undefined.
commitf3c61c2eedb78bbd22c067f75616303fed2b9cdc
authorDan Carpenter <error27@gmail.com>
Wed, 31 Dec 2008 08:31:47 +0000 (31 11:31 +0300)
committerDan Carpenter <error27@gmail.com>
Mon, 2 Feb 2009 18:22:17 +0000 (2 21:22 +0300)
tree2a87134eed6830243cdb0ed9b62afcd3ac84b7f2
parent88fd7579929d7d605d0ef76c839bf3542a8b54ba
If there is an i++ then the value of 'i' is undefined.

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