diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-10-04 20:19:06 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-10-04 20:19:06 -0400 |
| commit | e6fe02d832209393474ca049ca5e0b56a053fadd (patch) | |
| tree | bb5789ea042a47e604fb9a6a720319321d6af9d2 /gcc/gcov-io.h | |
| parent | 85872a69ee1b123557c7c352d45ef608e70b20fb (diff) | |
| download | gcc-e6fe02d832209393474ca049ca5e0b56a053fadd.zip gcc-e6fe02d832209393474ca049ca5e0b56a053fadd.tar.gz gcc-e6fe02d832209393474ca049ca5e0b56a053fadd.tar.bz2 | |
analyzer: widening_svalues take a function_point rather than a program_point
Enabling work towrads better call summarization.
gcc/analyzer/ChangeLog:
* region-model-manager.cc
(region_model_manager::get_or_create_widening_svalue): Use a
function_point rather than a program_point.
* region-model.cc (selftest::test_widening_constraints): Likewise.
* region-model.h
(region_model_manager::get_or_create_widening_svalue): Likewise.
(model_merger::get_function_point): New.
* svalue.cc (svalue::can_merge_p): Use a function_point rather
than a program_point.
(svalue::can_merge_p): Likewise.
* svalue.h (widening_svalue::key_t): Likewise.
(widening_svalue::widening_svalue): Likewise.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/gcov-io.h')
0 files changed, 0 insertions, 0 deletions