real_absolute: ignore iterator pre statements
commit29c662896fef51cd2cd446f938a368f1f47087f4
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 20 Jan 2017 12:29:15 +0000 (20 15:29 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 20 Jan 2017 12:29:15 +0000 (20 15:29 +0300)
tree6d6dbb5be82b46bf0134dff30815a53a78ad4c69
parentd41dbd01c7025fa608642ea60eb0d7bedeeea05c
real_absolute: ignore iterator pre statements

The problem here is that we handle for loops in a short cut way instead of
doing it properly.  This is perhaps not the correct solution, but it
works 99% of the time.

The issue is that we're duplicating what smatch_extra does but we're
doing it badly, so we store "i = 0" in real_absolute, but we're storing
"i = 0-9" in smatch_extra.  In this situation, smatch_extra information
is more accurate than real_absolute.

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