extra: start tracking "chunks" instead of just variables
commit5ae9382647c69a3e8d0e3df05b15fb2bbe9d7961
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 10 Jul 2015 14:16:08 +0000 (10 17:16 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 10 Jul 2015 14:16:08 +0000 (10 17:16 +0300)
tree8948771e11576739b542e34faec94d05ceeed275
parent73de935ee75c55e09be67a995cd9c8a88aea5451
extra: start tracking "chunks" instead of just variables

If you had a condition:

if (foo > 42)

Then smatch would track the value of "foo" but if you had a condition:

if (foo + bar > 42)

then we want smatch to track that as well.  I'm calling "foo + bar" a
chunk.  Much of this code is similar to smatch_stored_conditions.c.  You
have to create a var_sym_list of the links.  If any of them are modified
then it destroys the state of the chunk.

Of course, it's very primitive for now, and will be expanded in later
patches.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_list.h
smatch.h
smatch_extra.c
smatch_helper.c
smatch_math.c
validation/sm_chunk1.c [new file with mode: 0644]