https://gcc.gnu.org/g:122dec06a149bdf4dccc53c7cfbe92fd0fcaf4b2
commit r17-5668-g122dec06a149bdf4dccc53c7cfbe92fd0fcaf4b2 Author: David Malcolm <[email protected]> Date: Sun Oct 18 11:24:03 2026 -0400 analyzer: tighten up kf_bind::matches_call_types_p gcc/analyzer/ChangeLog: * sm-fd.cc (kf_bind::matches_call_types_p): Require arguments 0 and 2 to have integral type. Signed-off-by: David Malcolm <[email protected]> Diff: --- gcc/analyzer/sm-fd.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gcc/analyzer/sm-fd.cc b/gcc/analyzer/sm-fd.cc index 2a28151b991c..e627c68a5b24 100644 --- a/gcc/analyzer/sm-fd.cc +++ b/gcc/analyzer/sm-fd.cc @@ -2443,7 +2443,10 @@ public: bool matches_call_types_p (const call_details &cd) const final override { - return (cd.num_args () == 3 && cd.arg_is_pointer_p (1)); + return (cd.num_args () == 3 + && cd.arg_is_integral_p (0) + && cd.arg_is_pointer_p (1) + && cd.arg_is_integral_p (2)); } void impl_call_post (const call_details &cd) const final override
