diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-06-19 00:16:33 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-06-19 00:16:33 +0000 |
| commit | c5581d4842efff98060c6caf270c6f6c55e9888a (patch) | |
| tree | 39f6ba7ca49695b8ac68bc8ff22211e5079535d9 /gcc/analyzer | |
| parent | cc9c94d43dcfa98436152af9c00f011e9dab25f6 (diff) | |
| download | gcc-c5581d4842efff98060c6caf270c6f6c55e9888a.zip gcc-c5581d4842efff98060c6caf270c6f6c55e9888a.tar.gz gcc-c5581d4842efff98060c6caf270c6f6c55e9888a.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index b8f7a2b..84fa208 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,38 @@ +2021-06-18 David Malcolm <dmalcolm@redhat.com> + + * store.cc (binding_cluster::get_any_binding): Make symbolic reads + from a cluster with concrete bindings return unknown. + +2021-06-18 David Malcolm <dmalcolm@redhat.com> + + * region-model-manager.cc + (region_model_manager::get_or_create_int_cst): New. + (region_model_manager::maybe_undo_optimize_bit_field_compare): Use + it to simplify away a local tree. + * region-model.cc (region_model::on_setjmp): Likewise. + (region_model::on_longjmp): Likewise. + * region-model.h (region_model_manager::get_or_create_int_cst): + New decl. + * store.cc (binding_cluster::zero_fill_region): Use it to simplify + away a local tree. + +2021-06-18 David Malcolm <dmalcolm@redhat.com> + + * checker-path.cc (class custom_event): Make abstract to allow for + custom vfuncs, splitting existing implementation into... + (class precanned_custom_event): New subclass. + (custom_event::get_desc): Move to... + (precanned_custom_event::get_desc): ...subclass. + * checker-path.h (class custom_event): Make abstract to allow for + custom vfuncs, splitting existing implementation into... + (class precanned_custom_event): New subclass. + * diagnostic-manager.cc (diagnostic_manager::add_events_for_eedge): + Use precanned_custom_event. + * engine.cc + (stale_jmp_buf::maybe_add_custom_events_for_superedge): Likewise. + * sm-signal.cc (signal_delivery_edge_info_t::add_events_to_path): + Likewise. + 2021-06-15 David Malcolm <dmalcolm@redhat.com> PR analyzer/99212 |