diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-08-21 00:16:23 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-08-21 00:16:23 +0000 |
| commit | 5b9a3d2a0545f0ba118d74aca30b60689d31f387 (patch) | |
| tree | efd5f3c23e8c34cf5a84f3f5af02ae5b117169c3 /gcc/analyzer | |
| parent | 15717b4784053e59121a1e239d0081ca4d2c738a (diff) | |
| download | gcc-5b9a3d2a0545f0ba118d74aca30b60689d31f387.zip gcc-5b9a3d2a0545f0ba118d74aca30b60689d31f387.tar.gz gcc-5b9a3d2a0545f0ba118d74aca30b60689d31f387.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index cfb6a6e..d20e8c7 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,20 @@ +2020-08-20 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/96723 + * region-model-manager.cc + (region_model_manager::get_field_region): Assert that field is a + FIELD_DECL. + * region.cc (region::get_subregions_for_binding): In + union-handling, filter the TYPE_FIELDS traversal to just FIELD_DECLs. + +2020-08-20 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/96713 + * region-model.cc (region_model::get_gassign_result): For + comparisons, only use eval_condition when the lhs has boolean + type, and use get_or_create_constant_svalue on the boolean + constants directly rather than via get_rvalue. + 2020-08-19 David Malcolm <dmalcolm@redhat.com> PR analyzer/96643 |