buf_comparison, db: record top level variables in data_info
commit521bc44f4271f318ff6dac7da3c1c2a0f77f0b93
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 31 Oct 2014 10:49:14 +0000 (31 13:49 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 31 Oct 2014 10:49:14 +0000 (31 13:49 +0300)
tree9503c706821bb55dd95745b34a548a8a01bbdfa2
parent7f3c718484e723393824127afdd7eb073ce5dc52
buf_comparison, db: record top level variables in data_info

The buf_comparison check stores relations ships like "foo->bar" normally is
the number of elements in the "foo->baz[]" buffer.  This is used to find
off by one bugs.

With this change we store relationships between top level variables as
well as just struct members.

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