diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-04-10 16:43:28 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-04-10 16:43:28 -0400 |
| commit | 7a49d5dc0ef345fb2cb19a242272c973ead220e7 (patch) | |
| tree | 4f30f41c84d69dbde1d8c380e3659b4d0f1da65e /gcc/analyzer/infinite-recursion.cc | |
| parent | 115d5c6b009456e7e817dc5f1aeaea8d38929c93 (diff) | |
| download | gcc-7a49d5dc0ef345fb2cb19a242272c973ead220e7.zip gcc-7a49d5dc0ef345fb2cb19a242272c973ead220e7.tar.gz gcc-7a49d5dc0ef345fb2cb19a242272c973ead220e7.tar.bz2 | |
analyzer: add SARIF property bags to -Wanalyzer-overlapping-buffers
gcc/analyzer/ChangeLog:
* call-details.cc: Include "diagnostic-format-sarif.h".
(overlapping_buffers::overlapping_buffers): Add params for new
fields.
(overlapping_buffers::maybe_add_sarif_properties): New.
(overlapping_buffers::m_byte_range_a): New field.
(overlapping_buffers::byte_range_b): New field.
(overlapping_buffers::m_num_bytes_read_sval): New field.
(call_details::complain_about_overlap): Pass new params to
overlapping_buffers ctor.
* ranges.cc (symbolic_byte_offset::to_json): New.
(symbolic_byte_range::to_json): New.
* ranges.h (symbolic_byte_offset::to_json): New decl.
(symbolic_byte_range::to_json): New decl.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer/infinite-recursion.cc')
0 files changed, 0 insertions, 0 deletions