db, comparison, ranges: improve how comparisons will be stored in the db
commit0d2391442e620fa206058ade558ad0b244dcf209
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 12 Jun 2013 07:27:59 +0000 (12 10:27 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 12 Jun 2013 07:27:59 +0000 (12 10:27 +0300)
treeadbba910c7ea321de9cbd0d2571158a3d8343283
parent69302202429f4d67a07a56b030ace46274d405a8
db, comparison, ranges: improve how comparisons will be stored in the db

I started to add this but didn't get it finished.  It's the code to get
relationship information from the database.  The code to store it in the
database has not been added yet.

The new format for storing relationships is something like:

[==p0]

This means that the return value is equal to parameter zero.  For example
ERR_PTR() just casts parameter zero and returns it.  But a more
interesting case might look like:

0-[<=p1]

This means that the return value is range 0 up to parameter one.

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