| commit | f4eb1b042789de91aadc0c9a23832b8fbbd9e118 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 5 Dec 2012 18:43:00 +0000 (5 21:43 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 5 Dec 2012 18:43:00 +0000 (5 21:43 +0300) | ||
| tree | e1eb63a2b82da050fa9fb993dc9a2270ff520eee | treesnapshot (tar.gz zip) |
| parent | 2c8d23b5a86f2d5d434e988dd218936ebe1f55c4 | commitdiff |
db: call return_states at the end of the function if needed
If we reach the end of a void function that's equivalent to returning. We
should treat it like a return and call all the callbacks instead of making
it a special case.
Really it should be handled this way in Smatch flow. But right now I just
want to get this working so I'll look at that later.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If we reach the end of a void function that's equivalent to returning. We
should treat it like a return and call all the callbacks instead of making
it a special case.
Really it should be handled this way in Smatch flow. But right now I just
want to get this working so I'll look at that later.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_db.c | diffblobblamehistory |