db/mtags: add mtag_data and mtag_map tables
commit66717e28d5fa18e9d8fcb4f12cc969a8497c5596
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 4 Dec 2017 14:48:15 +0000 (4 17:48 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 4 Dec 2017 14:48:15 +0000 (4 17:48 +0300)
tree1eabde3cd98fefe6f8f1de1654671c51742b3e35
parent44e63f0aeb8b7b004a2cd485463a2084683472bb
db/mtags: add mtag_data and mtag_map tables

The mtag_data table stores information about the data stored in the
mtag.  In other words it stores that $->bar is 42.

The mtag_map is way to record that a pointer is stored inside another
struct.  The offset values are negative because it stores the
container_of() pointer.  Normally, in C we have things like "foo->bar->baz"
where if you start with "foo" then you can find "baz".  But this is the
reverse where you start with "baz" and find "bar" then find "foo".

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_data/db/mtag_data.schema [new file with mode: 0644]
smatch_data/db/mtag_map.schema [new file with mode: 0644]
smatch_db.c