constraints_required: detect a bunch of new types of constraints
commit2990dbea0b93634d1c992e8399ee7d0bbe7398cc
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 13 Nov 2017 20:17:38 +0000 (13 23:17 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 13 Nov 2017 20:20:23 +0000 (13 23:20 +0300)
tree256b459c16257c17a71118f5db34f54c3d92dc36
parentb83ec8f1ca4bc22364f4f249e929d9a5950a580d
constraints_required: detect a bunch of new types of constraints

* Use kmalloc_array() and kcalloc().
* Store zero size arrays at the end of structs.
* Use the buf_comparison() data if it's there.
* If we copy the constraints from one struct member to another then record
  that information.  This is like:

foo->nr_items = parent->nr_ptrs;

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_buf_comparison.c
smatch_buf_size.c
smatch_constraints_required.c
smatch_data/db/fill_db_sql.pl
smatch_db.c