| commit | ae63a556dc4a0e86af35c74a489e5598e2bdb189 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 6 May 2020 12:27:16 +0000 (6 15:27 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 6 May 2020 12:27:16 +0000 (6 15:27 +0300) | ||
| tree | 1b3f137f70d8873f67c46b72a16c821aa49faf09 | treesnapshot (tar.gz zip) |
| parent | 395dec0f9baca14ffa672c3caad024a79ea5df0d | commitdiff |
kernel: preserve the sm state when handling IS_ERR()
In the original code, we always called set_state() but the problem is that
it over-writes the sm state so all the implications are lost. We don't
want to do this, and especially now that the smatch_implied.c code
writes PARAM_LIMIT implications after smatch_extra.c handle PARAM_LIMIT.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
In the original code, we always called set_state() but the problem is that
it over-writes the sm state so all the implications are lost. We don't
want to do this, and especially now that the smatch_implied.c code
writes PARAM_LIMIT implications after smatch_extra.c handle PARAM_LIMIT.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_kernel.c | diffblobblamehistory |