From 91dd4a3864110704c921ab8467f568ff42c38e5c Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Sun, 27 Sep 2020 00:16:24 +0000 Subject: Daily bump. --- gcc/analyzer/ChangeLog | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'gcc/analyzer') diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 2047917..0d04604 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,13 @@ +2020-09-26 David Malcolm + + PR analyzer/96646 + PR analyzer/96841 + * region-model.cc (region_model::get_representative_path_var): + When handling offset_region, wrap the MEM_REF's first argument in + an ADDR_EXPR of pointer type, rather than simply using the tree + for the parent region. Require the MEM_REF's second argument to + be an integer constant. + 2020-09-24 David Malcolm * analyzer.h (struct rejected_constraint): New decl. -- cgit v1.1