| commit | 31f3cf7ab919dabac3f58d034c61a331b8e5b761 | |
| author | Dan Carpenter <dan.carpenter@linaro.org> | |
| Fri, 5 Jan 2024 09:27:34 +0000 (5 12:27 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@linaro.org> | |
| Fri, 5 Jan 2024 09:27:34 +0000 (5 12:27 +0300) | ||
| tree | 1873e380f631c236c6e639236c532d92f344521d | treesnapshot (tar.gz zip) |
| parent | ad5ae9adf0a231d67f74790a597ac42f1b4c2ece | commitdiff |
states: preserve out of scope states
Smatch discards out of scope variables. This is to saves memory and it's
generally the right thing to do. But in cases where we're looking at
the return states then actually we probably don't want to throw those
states away.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
Smatch discards out of scope variables. This is to saves memory and it's
generally the right thing to do. But in cases where we're looking at
the return states then actually we probably don't want to throw those
states away.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
| check_refcount_inconsistent_returns.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |