diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-07-16 15:45:33 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-07-16 15:45:33 -0400 |
| commit | 5932dd35eaa816e8d9b6406c6c433395ff5b6162 (patch) | |
| tree | b0eda18ebfc4015f2835d3636ae0c40fe9723b02 /gcc/gimple-loop-versioning.cc | |
| parent | e06b1c5ac00b1bd0339739d3d9377c90852a83c9 (diff) | |
| download | gcc-5932dd35eaa816e8d9b6406c6c433395ff5b6162.zip gcc-5932dd35eaa816e8d9b6406c6c433395ff5b6162.tar.gz gcc-5932dd35eaa816e8d9b6406c6c433395ff5b6162.tar.bz2 | |
analyzer: add svalue::maybe_get_region
gcc/analyzer/ChangeLog:
* program-state.cc (program_state::detect_leaks): Simplify using
svalue::maybe_get_region.
* region-model-impl-calls.cc (region_model::impl_call_fgets): Likewise.
(region_model::impl_call_fread): Likewise.
(region_model::impl_call_free): Likewise.
(region_model::impl_call_operator_delete): Likewise.
* region-model.cc (selftest::test_stack_frames): Likewise.
(selftest::test_state_merging): Likewise.
* svalue.cc (svalue::maybe_get_region): New.
* svalue.h (svalue::maybe_get_region): New decl.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/gimple-loop-versioning.cc')
0 files changed, 0 insertions, 0 deletions