extra: track array values
commit71a67c19a3242f4538c2c88a33007ffd12945e1f
authorDan Carpenter <dan.carpenter@oracle.com>
Sat, 15 Aug 2015 09:48:59 +0000 (15 12:48 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Sat, 15 Aug 2015 09:48:59 +0000 (15 12:48 +0300)
treed73fa001d4b0474be5fc549c781cf259fbfa7579
parent4d51e55de3b8a5b4365e2d413bc18575b3d89e46
extra: track array values

Before if we had "if (array[offset] == 5) " then we didn't track it
because it was too complicated but now we have the infrastructure to
manage it.

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