diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-02 00:16:23 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-02 00:16:23 +0000 |
| commit | f7884fb176128ca9299f5587815ce1908138b2f7 (patch) | |
| tree | fe588872407161c90ca6402131ddd26093708f74 /gcc/analyzer | |
| parent | 850e5878f8f57244571858f604f28da646be498d (diff) | |
| download | gcc-f7884fb176128ca9299f5587815ce1908138b2f7.zip gcc-f7884fb176128ca9299f5587815ce1908138b2f7.tar.gz gcc-f7884fb176128ca9299f5587815ce1908138b2f7.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 09d7d7c..197df60 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,12 @@ +2021-02-01 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/98918 + * region-model-manager.cc + (region_model_manager::get_or_create_initial_value): + Fold the initial value of *UNKNOWN_PTR to an UNKNOWN value. + (region_model_manager::get_field_region): Fold the value + of UNKNOWN_PTR->FIELD to *UNKNOWN_PTR_OF_&FIELD_TYPE. + 2021-01-29 David Malcolm <dmalcolm@redhat.com> * checker-path.cc (event_kind_to_string): Handle |