| commit | fa740fa237e44fef4570c7e67ab65614eca4b807 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 6 Apr 2023 15:27:36 +0000 (6 18:27 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 6 Apr 2023 15:27:36 +0000 (6 18:27 +0300) | ||
| tree | 3d5a4932791fd1e0ad011ef939b6ca9d4d334baf | treesnapshot (tar.gz zip) |
| parent | 556064ca1c741ccf0f5cc5f8e7f5e1e42e8ac751 | commitdiff |
extra: set no limits mark_sub_members_gone()
The issue here is that set_extra_nomod() sets the PARAM_LIMITs. We only
want to do that for explicit conditions and not for things which let us
know the limit but aren't an explicit check. For example, dereferencing
a pointer can only succeed if the pointer is non-NULL so we know that the
pointer is non-NULL but it's not an explicit limit check.
Same thing for marking_sub_members_gone(). That's not a limit check at
all.
Signed-off-by: Dan Carpenter <error27@gmail.com>
The issue here is that set_extra_nomod() sets the PARAM_LIMITs. We only
want to do that for explicit conditions and not for things which let us
know the limit but aren't an explicit check. For example, dereferencing
a pointer can only succeed if the pointer is non-NULL so we know that the
pointer is non-NULL but it's not an explicit limit check.
Same thing for marking_sub_members_gone(). That's not a limit check at
all.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.c | diffblobblamehistory |