diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-26 00:16:36 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-02-26 00:16:36 +0000 |
| commit | daa6884432b09b0ec1207dacf1a467dd90538360 (patch) | |
| tree | 70ad324e4da31691b875a4223b2af142986d4bf4 /gcc/analyzer | |
| parent | d656bfda2d8316627d0bbb18b10954e6aaf3c88c (diff) | |
| download | gcc-daa6884432b09b0ec1207dacf1a467dd90538360.zip gcc-daa6884432b09b0ec1207dacf1a467dd90538360.tar.gz gcc-daa6884432b09b0ec1207dacf1a467dd90538360.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 23486ac..955e89f 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,19 @@ +2021-02-25 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/99193 + * region-model-impl-calls.cc (region_model::impl_call_realloc): New. + * region-model.cc (region_model::on_call_pre): Call it. + * region-model.h (region_model::impl_call_realloc): New decl. + * sm-malloc.cc (enum wording): Add WORDING_REALLOCATED. + (malloc_state_machine::m_realloc): New field. + (use_after_free::describe_state_change): Add case for + WORDING_REALLOCATED. + (use_after_free::describe_final_event): Likewise. + (malloc_state_machine::malloc_state_machine): Initialize + m_realloc. + (malloc_state_machine::on_stmt): Handle realloc by calling... + (malloc_state_machine::on_realloc_call): New. + 2021-02-22 David Malcolm <dmalcolm@redhat.com> PR analyzer/99196 |