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 | 115d5c6b009456e7e817dc5f1aeaea8d38929c93 (patch) | |
| tree | ddf9537cc432484d52230c202dd5067129f7fff3 /libgcc | |
| parent | 7f6599a201be2a3f7d1d799087e4ba283ec0bee8 (diff) | |
| download | gcc-115d5c6b009456e7e817dc5f1aeaea8d38929c93.zip gcc-115d5c6b009456e7e817dc5f1aeaea8d38929c93.tar.gz gcc-115d5c6b009456e7e817dc5f1aeaea8d38929c93.tar.bz2 | |
analyzer: show size in SARIF property bag for -Wanalyzer-tainted-allocation-size
gcc/analyzer/ChangeLog:
* sm-taint.cc (tainted_allocation_size::tainted_allocation_size):
Add "size_in_bytes" param.
(tainted_allocation_size::maybe_add_sarif_properties): New.
(tainted_allocation_size::m_size_in_bytes): New field.
(region_model::check_dynamic_size_for_taint): Pass size_in_bytes
to tainted_allocation_size ctor.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions