| commit | c60676001b4b2b3ae793874aa81a82fcf8b3a316 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 7 Mar 2014 09:38:07 +0000 (7 12:38 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 7 Mar 2014 09:38:07 +0000 (7 12:38 +0300) | ||
| tree | 19e468c91567e4e98c1de02ab3af48dff219c1fa | treesnapshot (tar.gz zip) |
| parent | 3db2b11ed17de4e7d7f2c511336984ec43727808 | commitdiff |
slist, returns: introduce merge_stree_no_pools()
The ->pools are used for implications. In smatch_returns() we want to
merge the all the states together to find the possible return values, but
it doesn't affect code flow or implications. We don't need to store the
->pools here.
Changing this means we do fewer sm_state allocations and saves memory.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The ->pools are used for implications. In smatch_returns() we want to
merge the all the states together to find the possible return values, but
it doesn't affect code flow or implications. We don't need to store the
->pools here.
Changing this means we do fewer sm_state allocations and saves memory.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_returns.c | diffblobblamehistory | |
| smatch_slist.c | diffblobblamehistory | |
| smatch_slist.h | diffblobblamehistory |