diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-08-29 18:12:09 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-08-29 18:12:09 -0400 |
| commit | 034d99e81484fbb83f15da91ee1a744b9301b04f (patch) | |
| tree | e66b19c01810789a3e05a0854afc62c6f2efe1f9 /contrib | |
| parent | 85ad41a494e31311f8a6b2dbe930a128c5e85840 (diff) | |
| download | gcc-034d99e81484fbb83f15da91ee1a744b9301b04f.zip gcc-034d99e81484fbb83f15da91ee1a744b9301b04f.tar.gz gcc-034d99e81484fbb83f15da91ee1a744b9301b04f.tar.bz2 | |
analyzer: new warning: -Wanalyzer-overlapping-buffers [PR99860]
gcc/ChangeLog:
PR analyzer/99860
* Makefile.in (ANALYZER_OBJS): Add analyzer/ranges.o.
gcc/analyzer/ChangeLog:
PR analyzer/99860
* analyzer-selftests.cc (selftest::run_analyzer_selftests): Call
selftest::analyzer_ranges_cc_tests.
* analyzer-selftests.h (selftest::run_analyzer_selftests): New
decl.
* analyzer.opt (Wanalyzer-overlapping-buffers): New option.
* call-details.cc: Include "analyzer/ranges.h" and "make-unique.h".
(class overlapping_buffers): New.
(call_details::complain_about_overlap): New.
* call-details.h (call_details::complain_about_overlap): New decl.
* kf.cc (kf_memcpy_memmove::impl_call_pre): Call
cd.complain_about_overlap for memcpy and memcpy_chk.
(kf_strcat::impl_call_pre): Call cd.complain_about_overlap.
(kf_strcpy::impl_call_pre): Likewise.
* ranges.cc: New file.
* ranges.h: New file.
gcc/ChangeLog:
PR analyzer/99860
* doc/invoke.texi: Add -Wanalyzer-overlapping-buffers.
gcc/testsuite/ChangeLog:
PR analyzer/99860
* c-c++-common/analyzer/overlapping-buffers.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions