diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-09-27 00:16:24 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-09-27 00:16:24 +0000 |
| commit | 91dd4a3864110704c921ab8467f568ff42c38e5c (patch) | |
| tree | 96e295dd9effec6463e4ade07ca4eb36ff5b1257 /gcc/analyzer | |
| parent | e6923541fae5081b646f240d54de2a32e17a0382 (diff) | |
| download | gcc-91dd4a3864110704c921ab8467f568ff42c38e5c.zip gcc-91dd4a3864110704c921ab8467f568ff42c38e5c.tar.gz gcc-91dd4a3864110704c921ab8467f568ff42c38e5c.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
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 <dmalcolm@redhat.com> + + 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 <dmalcolm@redhat.com> * analyzer.h (struct rejected_constraint): New decl. |