| commit | 9e1afc37d2c34df4eaac39800fe51c544cfaf2f7 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 31 May 2016 13:18:27 +0000 (31 16:18 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 31 May 2016 13:18:27 +0000 (31 16:18 +0300) | ||
| tree | 375117fb3522a3e11bf63057fcc197a48eb9543f | treesnapshot (tar.gz zip) |
| parent | 5ff855790a51929cd233c9256c49dd810f23d3d2 | commitdiff |
function_hooks: integrate call_implies hooks with the db
I was trying to debug something which I think turned out to be caused by
something else. But really, it's been a long standing issue that I have
been worrying about is that call_implies and the db weren't working
together.
How this works is that we basically fake another row in the db. It assumes
that the db and the call_implies sort of agree on what the function
returns.
We have to keep the old code around for people who haven't built the cross
function db.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I was trying to debug something which I think turned out to be caused by
something else. But really, it's been a long standing issue that I have
been worrying about is that call_implies and the db weren't working
together.
How this works is that we basically fake another row in the db. It assumes
that the db and the call_implies sort of agree on what the function
returns.
We have to keep the old code around for people who haven't built the cross
function db.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_function_hooks.c | diffblobblamehistory |