diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-09-22 00:16:31 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-09-22 00:16:31 +0000 |
| commit | 44135373fcdbe4019c5524ec3dff8e93d9ef113c (patch) | |
| tree | ca72a962e3097e304a14b9ab2a3544e0be84faf8 /gcc/analyzer | |
| parent | 27edc6c3e296a3eea15be291b1f605a647e94107 (diff) | |
| download | gcc-44135373fcdbe4019c5524ec3dff8e93d9ef113c.zip gcc-44135373fcdbe4019c5524ec3dff8e93d9ef113c.tar.gz gcc-44135373fcdbe4019c5524ec3dff8e93d9ef113c.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 7ec4c14..8241610 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,19 @@ +2020-09-21 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/97130 + * region-model-impl-calls.cc (call_details::get_arg_type): New. + * region-model.cc (region_model::on_call_pre): Check that the + initial arg is a pointer before calling impl_call_memset and + impl_call_strlen. + * region-model.h (call_details::get_arg_type): New decl. + +2020-09-21 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/93355 + * sm-malloc.cc (malloc_state_machine::get_default_state): Look at + the base region when considering pointers. Treat pointers to + decls as being non-heap. + 2020-09-18 David Malcolm <dmalcolm@redhat.com> * checker-path.cc (warning_event::get_desc): Handle global state |