diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-01-30 08:17:47 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-01-30 08:17:47 -0500 |
| commit | 181f753dc4afa9866d6125904cf050d5eb437a86 (patch) | |
| tree | c00924a27ed96760a686c56ab808f811ffed72e3 /gcc/c | |
| parent | 2a9881565c7b48d04cf891666a66a1a2e560bce8 (diff) | |
| download | gcc-181f753dc4afa9866d6125904cf050d5eb437a86.zip gcc-181f753dc4afa9866d6125904cf050d5eb437a86.tar.gz gcc-181f753dc4afa9866d6125904cf050d5eb437a86.tar.bz2 | |
analyzer: add SARIF property bag to -Wanalyzer-allocation-size
This is useful for debugging the analyzer.
gcc/analyzer/ChangeLog:
* region-model.cc
(dubious_allocation_size::dubious_allocation_size): Add
"capacity_sval" param. Drop unused ctor.
(dubious_allocation_size::maybe_add_sarif_properties): New.
(dubious_allocation_size::m_capacity_sval): New field.
(region_model::check_region_size): Pass capacity svalue to
dubious_allocation_size ctor.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions