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/analyzer/region-model.cc | |
| 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/analyzer/region-model.cc')
| -rw-r--r-- | gcc/analyzer/region-model.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index 22c5287..e92bba2 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -7956,7 +7956,7 @@ static void test_widening_constraints () { region_model_manager mgr; - program_point point (program_point::origin (mgr)); + function_point point (program_point::origin (mgr).get_function_point ()); tree int_0 = build_int_cst (integer_type_node, 0); tree int_m1 = build_int_cst (integer_type_node, -1); tree int_1 = build_int_cst (integer_type_node, 1); |