| commit | f2d7a4001a33884bc1dfd8da58e58dee18e3cd71 | |
| author | David Malcolm <dmalcolm@redhat.com> | |
| Wed, 6 Sep 2023 13:32:07 +0000 (6 09:32 -0400) | ||
| committer | David Malcolm <dmalcolm@redhat.com> | |
| Wed, 6 Sep 2023 13:32:07 +0000 (6 09:32 -0400) | ||
| tree | 70813c09ac7d7816126865c12d6cdbd7042816ea | treesnapshot (tar.gz zip) |
| parent | b51cde34d4e7504e821d935152c0ece0ce0dc74d | commitdiff |
analyzer: implement kf_strstr [PR105899]
gcc/analyzer/ChangeLog:
PR analyzer/105899
* kf.cc (class kf_strstr): New.
(kf_strstr::impl_call_post): New.
(register_known_functions): Register it.
gcc/testsuite/ChangeLog:
PR analyzer/105899
* c-c++-common/analyzer/strstr-1.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/ChangeLog:
PR analyzer/105899
* kf.cc (class kf_strstr): New.
(kf_strstr::impl_call_post): New.
(register_known_functions): Register it.
gcc/testsuite/ChangeLog:
PR analyzer/105899
* c-c++-common/analyzer/strstr-1.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
| gcc/analyzer/kf.cc | diffblobblamehistory | |
| gcc/testsuite/c-c++-common/analyzer/strstr-1.c | [new file with mode: 0644] | blob |