| commit | b194c7a0fd2c527f81b868d3d15b660e7d0f9f4d | |
| author | Dan Carpenter <dan.carpenter@linaro.org> | |
| Thu, 11 Apr 2024 09:56:06 +0000 (11 12:56 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@linaro.org> | |
| Thu, 11 Apr 2024 09:56:06 +0000 (11 12:56 +0300) | ||
| tree | 8c11c434796f53209ea6722c19201a7a579ed1d6 | treesnapshot (tar.gz zip) |
| parent | 9c229a52139e4dd62cad2ff6abe3cd6468966567 | commitdiff |
comparison: add support for COMPARE_LIMIT
I'm committing this code long after I actually made this change so I had
to look up what the logic is. The comments are kind of crap... The
difference between PARAM_COMPARE and COMPARE_LIMIT is PARAM_COMPARE only
looks at unmodified parameters where COMPARE_LIMIT looks at the values at
the end of the function as in "*offset <= length".
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
I'm committing this code long after I actually made this change so I had
to look up what the logic is. The comments are kind of crap... The
difference between PARAM_COMPARE and COMPARE_LIMIT is PARAM_COMPARE only
looks at unmodified parameters where COMPARE_LIMIT looks at the values at
the end of the function as in "*offset <= length".
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
| smatch_comparison.c | diffblobblamehistory |