analyzer: widening_svalues take a function_point rather than a program_point
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 5 Oct 2022 00:19:06 +0000 (20:19 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 5 Oct 2022 00:19:06 +0000 (20:19 -0400)
commite6fe02d832209393474ca049ca5e0b56a053fadd
treebb5789ea042a47e604fb9a6a720319321d6af9d2
parent85872a69ee1b123557c7c352d45ef608e70b20fb
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>
gcc/analyzer/region-model-manager.cc
gcc/analyzer/region-model.cc
gcc/analyzer/region-model.h
gcc/analyzer/svalue.cc
gcc/analyzer/svalue.h