| commit | 83e06f5e5c034378e7f2fef8792ceb38f01925c1 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 15 May 2012 12:00:32 +0000 (15 15:00 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 15 May 2012 12:00:32 +0000 (15 15:00 +0300) | ||
| tree | 4b44bdd6f6de066f7dcb90a0ec93de7c74913393 | treesnapshot (tar.gz zip) |
| parent | ae422efc2bd7aa10b22f38072f736e189934a81d | commitdiff |
*new* returns: merge all slists from all returns
This provides a call back:
void all_return_states_hook(void (*callback)(struct state_list *slist));
The way I'm going to use this is to tell if a parameter is derefenced on
every path through a function. This combines all the end states together
and I'll just do a get_state_slist() to find out which parameters are
always dereferenced.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This provides a call back:
void all_return_states_hook(void (*callback)(struct state_list *slist));
The way I'm going to use this is to tell if a parameter is derefenced on
every path through a function. This combines all the end states together
and I'll just do a get_state_slist() to find out which parameters are
always dereferenced.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| Makefile | diffblobblamehistory | |
| check_list.h | diffblobblamehistory | |
| smatch_returns.c | [new file with mode: 0644] | blob |
| smatch_slist.h | diffblobblamehistory |