| commit | c061ec04b95bbaa72d05bb048cd593c614d06114 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 21 Feb 2013 11:51:43 +0000 (21 14:51 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 21 Feb 2013 11:51:43 +0000 (21 14:51 +0300) | ||
| tree | a4cd1c9e8635d6ee44c0b23e6de605ed619aae81 | treesnapshot (tar.gz zip) |
| parent | c3b956e6918dc2a48b186c4ef8e8fad284733584 | commitdiff |
db: fix call_implies for the in-memory database
The call_implies tables is sort of weird. It's only used by
check_dereferences_param.c and it might be better to put everything in
the return_states table.
But on the other hand, fixing this meant adding some useful hooks so it's
worthwhile in that sense.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The call_implies tables is sort of weird. It's only used by
check_dereferences_param.c and it might be better to put everything in
the return_states table.
But on the other hand, fixing this meant adding some useful hooks so it's
worthwhile in that sense.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>