| commit | 60891d46fd15a3042ae36052042dfc05541cc1a2 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 15 Jul 2016 10:19:26 +0000 (15 13:19 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 15 Jul 2016 10:19:26 +0000 (15 13:19 +0300) | ||
| tree | 22648cc51f88b423f6364fb2dcf47a4c0e0524c2 | treesnapshot (tar.gz zip) |
| parent | 9ee9d52fd639b6e727f6c6e63dd215a0741c1a49 | commitdiff |
comparison: load/use return comparisons in the cross function db
This loads the db and also selects it and loads it back as well.
The thing about this is we're only considering the final state of the
parameter, not the initial state. So if we set $0->end = $0->start then
we still return == even though they may have started out as not equal.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This loads the db and also selects it and loads it back as well.
The thing about this is we're only considering the final state of the
parameter, not the initial state. So if we set $0->end = $0->start then
we still return == even though they may have started out as not equal.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_comparison.c | diffblobblamehistory |