diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-18 00:16:29 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-18 00:16:29 +0000 |
| commit | acc0ee5c0731a70f15662146fc4f9dc949980aa2 (patch) | |
| tree | ec6d5d08b114c33b772fb9d8d11911810eb8a55b /gcc/analyzer | |
| parent | 963aecff2473080d748b2fc1ea2e32cef36cab11 (diff) | |
| download | gcc-acc0ee5c0731a70f15662146fc4f9dc949980aa2.zip gcc-acc0ee5c0731a70f15662146fc4f9dc949980aa2.tar.gz gcc-acc0ee5c0731a70f15662146fc4f9dc949980aa2.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 59f6d92..de03487 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,43 @@ +2021-02-17 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/98969 + * constraint-manager.cc (dead_svalue_purger::should_purge_p): + Update for change to svalue::live_p. + * program-state.cc (sm_state_map::on_liveness_change): Likewise. + (program_state::detect_leaks): Likewise. + * region-model-reachability.cc (reachable_regions::init_cluster): + When dealing with a symbolic region, if the underlying pointer is + implicitly live, add the region to the reachable regions. + * region-model.cc (region_model::compare_initial_and_pointer): + Move logic for detecting initial values of params to + initial_svalue::initial_value_of_param_p. + * svalue.cc (svalue::live_p): Convert "live_svalues" from a + reference to a pointer; support it being NULL. + (svalue::implicitly_live_p): Convert first param from a + refererence to a pointer. + (region_svalue::implicitly_live_p): Likewise. + (constant_svalue::implicitly_live_p): Likewise. + (initial_svalue::implicitly_live_p): Likewise. Treat the initial + values of params for the top level frame as still live. + (initial_svalue::initial_value_of_param_p): New function, taken + from a test in region_model::compare_initial_and_pointer. + (unaryop_svalue::implicitly_live_p): Convert first param from a + refererence to a pointer. + (binop_svalue::implicitly_live_p): Likewise. + (sub_svalue::implicitly_live_p): Likewise. + (unmergeable_svalue::implicitly_live_p): Likewise. + * svalue.h (svalue::live_p): Likewise. + (svalue::implicitly_live_p): Likewise. + (region_svalue::implicitly_live_p): Likewise. + (constant_svalue::implicitly_live_p): Likewise. + (initial_svalue::implicitly_live_p): Likewise. + (initial_svalue::initial_value_of_param_p): New decl. + (unaryop_svalue::implicitly_live_p): Convert first param from a + refererence to a pointer. + (binop_svalue::implicitly_live_p): Likewise. + (sub_svalue::implicitly_live_p): Likewise. + (unmergeable_svalue::implicitly_live_p): Likewise. + 2021-02-12 David Malcolm <dmalcolm@redhat.com> PR analyzer/98969 |