diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2026-02-11 20:49:44 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2026-02-11 20:49:44 -0500 |
| commit | 29ad594504dcc1fa736d7305e5a853c08e4e4180 (patch) | |
| tree | 9aabac9b60337a30fbbcaf6c5284afa6bb2ad16c /libjava/java/sql/ResultSet.java | |
| parent | 5406e3529a24cb2d61180335991cf8528f09538c (diff) | |
| download | gcc-29ad594504dcc1fa736d7305e5a853c08e4e4180.zip gcc-29ad594504dcc1fa736d7305e5a853c08e4e4180.tar.gz gcc-29ad594504dcc1fa736d7305e5a853c08e4e4180.tar.bz2 | |
analyzer: fix false +ve buffer overflow on sprintf [PR117369]
gcc/analyzer/ChangeLog:
PR analyzer/117369
* kf.cc (kf_sprintf::impl_call_pre): Use the capacity of the
region when "faking" a write to the destination buffer, to
avoid buffer overflow false +ves.
gcc/testsuite/ChangeLog:
PR analyzer/117369
* c-c++-common/analyzer/sprintf-pr117369.c: New test.
* gcc.dg/analyzer/doom-d_main-IdentifyVersion.c: Update expected
results to reflect complexity limits being hit earlier.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libjava/java/sql/ResultSet.java')
0 files changed, 0 insertions, 0 deletions