diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-09-15 00:16:37 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-09-15 00:16:37 +0000 |
| commit | 50a71cd0182ae11444bc7b582a3b1cb1c54c7a0d (patch) | |
| tree | e96fc24b6d5fbfdce9f26dae3b76da295b384ed9 /gcc/analyzer/ChangeLog | |
| parent | 0620f4d79e270f1a455a7ec099504d44dc6180e6 (diff) | |
| download | gcc-50a71cd0182ae11444bc7b582a3b1cb1c54c7a0d.zip gcc-50a71cd0182ae11444bc7b582a3b1cb1c54c7a0d.tar.gz gcc-50a71cd0182ae11444bc7b582a3b1cb1c54c7a0d.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer/ChangeLog')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 90ecac8..d0f8401 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,25 @@ +2020-09-14 David Malcolm <dmalcolm@redhat.com> + + * analyzer.opt (-param=analyzer-max-constraints=): New param. + * constraint-manager.cc + (constraint_manager::add_constraint_internal): Silently reject + attempts to add constraints when the above limit is reached. + +2020-09-14 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/96653 + * constraint-manager.cc + (constraint_manager::get_or_add_equiv_class): Don't accumulate + transitive closure of all constraints on constants. + +2020-09-14 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/97029 + * analyzer.cc (is_setjmp_call_p): Require the initial arg to be a + pointer. + * region-model.cc (region_model::deref_rvalue): Assert that the + svalue is of pointer type. + 2020-09-11 David Malcolm <dmalcolm@redhat.com> PR analyzer/96798 |