diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-07-20 00:16:34 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-07-20 00:16:34 +0000 |
| commit | 7c0c10db24f5c7f8c30810699fb0aff3c900d41a (patch) | |
| tree | 52a921569410247aca9ba1ae386b94eaa95d6efa /gcc/analyzer | |
| parent | dbb093f4f15ea66f2ce5cd2dc1903a6894563356 (diff) | |
| download | gcc-7c0c10db24f5c7f8c30810699fb0aff3c900d41a.zip gcc-7c0c10db24f5c7f8c30810699fb0aff3c900d41a.tar.gz gcc-7c0c10db24f5c7f8c30810699fb0aff3c900d41a.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 4f010eb..884be16 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,26 @@ +2022-07-19 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/106321 + * constraint-manager.h (bounded_ranges::get_count): New. + (bounded_ranges::get_range): New. + * engine.cc (impl_region_model_context::on_bounded_ranges): New. + * exploded-graph.h (impl_region_model_context::on_bounded_ranges): + New decl. + * region-model.cc (region_model::apply_constraints_for_gswitch): + Potentially call ctxt->on_bounded_ranges. + * region-model.h (region_model_context::on_bounded_ranges): New + vfunc. + (noop_region_model_context::on_bounded_ranges): New. + (region_model_context_decorator::on_bounded_ranges): New. + * sm-taint.cc: Include "analyzer/constraint-manager.h". + (taint_state_machine::on_bounded_ranges): New. + * sm.h (state_machine::on_bounded_ranges): New. + +2022-07-19 David Malcolm <dmalcolm@redhat.com> + + * engine.cc (exploded_graph::process_node): Show any description + of the out-edge when logging it for consideration. + 2022-07-15 David Malcolm <dmalcolm@redhat.com> PR analyzer/106284 |