| commit | ec6aeb95cab15c66e6d73c526ade84a31e73f6f3 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sun, 27 May 2012 06:15:59 +0000 (27 09:15 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sun, 27 May 2012 06:15:59 +0000 (27 09:15 +0300) | ||
| tree | 1b9745c83b2bf3dbe34fba67118c662f251901ac | treesnapshot (tar.gz zip) |
| parent | ca4ce5f91feee37d07c87b0c3febd794444b89a9 | commitdiff |
extra: don't create a new merged estate if ->right and ->left are equivalent
This saves memory.
We couldn't do this before because the ->related list was getting modified
after we called set_state().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This saves memory.
We couldn't do this before because the ->related list was getting modified
after we called set_state().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_estate.c | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory |