From 44135373fcdbe4019c5524ec3dff8e93d9ef113c Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Tue, 22 Sep 2020 00:16:31 +0000 Subject: Daily bump. --- gcc/analyzer/ChangeLog | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'gcc/analyzer') 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 + + 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 + + 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 * checker-path.cc (warning_event::get_desc): Handle global state -- cgit v1.1