diff options
| author | Martin Liska <mliska@suse.cz> | 2020-10-23 17:21:51 +0200 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2020-11-10 18:48:07 +0100 |
| commit | c710051affd51ac630072ac0cd2c232c0bf2c265 (patch) | |
| tree | 7b46ad20cae1397cecc8358b1d0123e01a593a46 /gcc/analyzer/program-state.cc | |
| parent | e929ef532ad52cde873dfc0849907b020ffc5afd (diff) | |
| download | gcc-c710051affd51ac630072ac0cd2c232c0bf2c265.zip gcc-c710051affd51ac630072ac0cd2c232c0bf2c265.tar.gz gcc-c710051affd51ac630072ac0cd2c232c0bf2c265.tar.bz2 | |
analyzer: remove dead code
gcc/analyzer/ChangeLog:
* constraint-manager.cc (constraint_manager::merge): Remove
unused code.
* constraint-manager.h: Likewise.
* program-state.cc (sm_state_map::sm_state_map): Likewise.
(program_state::program_state): Likewise.
(test_sm_state_map): Likewise.
* program-state.h: Likewise.
* region-model-reachability.cc (reachable_regions::reachable_regions): Likewise.
* region-model-reachability.h: Likewise.
* region-model.cc (region_model::handle_unrecognized_call): Likewise.
(region_model::get_reachable_svalues): Likewise.
(region_model::can_merge_with_p): Likewise.
Diffstat (limited to 'gcc/analyzer/program-state.cc')
| -rw-r--r-- | gcc/analyzer/program-state.cc | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/gcc/analyzer/program-state.cc b/gcc/analyzer/program-state.cc index b39e55a..5c59c09 100644 --- a/gcc/analyzer/program-state.cc +++ b/gcc/analyzer/program-state.cc @@ -154,8 +154,8 @@ sm_state_map::entry_t::cmp (const entry_t &entry_a, const entry_t &entry_b) /* sm_state_map's ctor. */ -sm_state_map::sm_state_map (const state_machine &sm, int sm_idx) -: m_sm (sm), m_sm_idx (sm_idx), m_map (), m_global_state (sm.get_start_state ()) +sm_state_map::sm_state_map (const state_machine &sm) +: m_sm (sm), m_map (), m_global_state (sm.get_start_state ()) { } @@ -656,7 +656,7 @@ program_state::program_state (const extrinsic_state &ext_state) const int num_states = ext_state.get_num_checkers (); for (int i = 0; i < num_states; i++) { - sm_state_map *sm = new sm_state_map (ext_state.get_sm (i), i); + sm_state_map *sm = new sm_state_map (ext_state.get_sm (i)); m_checker_states.quick_push (sm); } } @@ -1251,7 +1251,7 @@ test_sm_state_map () const svalue *y_sval = model.get_rvalue (y, NULL); const svalue *z_sval = model.get_rvalue (z, NULL); - sm_state_map map (*sm, 0); + sm_state_map map (*sm); ASSERT_TRUE (map.is_empty_p ()); ASSERT_EQ (map.get_state (x_sval, ext_state), start); @@ -1280,7 +1280,7 @@ test_sm_state_map () const svalue *y_sval = model.get_rvalue (y, NULL); const svalue *z_sval = model.get_rvalue (z, NULL); - sm_state_map map (*sm, 0); + sm_state_map map (*sm); ASSERT_TRUE (map.is_empty_p ()); ASSERT_EQ (map.get_state (x_sval, ext_state), start); ASSERT_EQ (map.get_state (y_sval, ext_state), start); @@ -1303,9 +1303,9 @@ test_sm_state_map () const svalue *y_sval = model.get_rvalue (y, NULL); const svalue *z_sval = model.get_rvalue (z, NULL); - sm_state_map map0 (*sm, 0); - sm_state_map map1 (*sm, 0); - sm_state_map map2 (*sm, 0); + sm_state_map map0 (*sm); + sm_state_map map1 (*sm); + sm_state_map map2 (*sm); ASSERT_EQ (map0.hash (), map1.hash ()); ASSERT_EQ (map0, map1); @@ -1326,9 +1326,9 @@ test_sm_state_map () const state_machine::state_t TEST_STATE_2 = &test_state_2; const state_machine::state test_state_3 ("test state 3", 3); const state_machine::state_t TEST_STATE_3 = &test_state_3; - sm_state_map map0 (*sm, 0); - sm_state_map map1 (*sm, 0); - sm_state_map map2 (*sm, 0); + sm_state_map map0 (*sm); + sm_state_map map1 (*sm); + sm_state_map map2 (*sm); ASSERT_EQ (map0.hash (), map1.hash ()); ASSERT_EQ (map0, map1); |