From 5b9a3d2a0545f0ba118d74aca30b60689d31f387 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Fri, 21 Aug 2020 00:16:23 +0000 Subject: Daily bump. --- gcc/analyzer/ChangeLog | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'gcc/analyzer') 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 + + 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 + + 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 PR analyzer/96643 -- cgit v1.1