diff options
Diffstat (limited to 'gcc/analyzer/ChangeLog')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 5945abc..d669c98 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,5 +1,30 @@ 2020-02-17 David Malcolm <dmalcolm@redhat.com> + PR analyzer/93388 + * engine.cc (impl_region_model_context::on_unknown_tree_code): + New. + (exploded_graph::get_or_create_node): Reject invalid states. + * exploded-graph.h + (impl_region_model_context::on_unknown_tree_code): New decl. + (point_and_state::point_and_state): Assert that the state is + valid. + * program-state.cc (program_state::program_state): Initialize + m_valid to true. + (program_state::operator=): Copy m_valid. + (program_state::program_state): Likewise for move constructor. + (program_state::print): Print m_valid. + (program_state::dump_to_pp): Likewise. + * program-state.h (program_state::m_valid): New field. + * region-model.cc (region_model::get_lvalue_1): Implement the + default case by returning a new symbolic region and calling + the context's on_unknown_tree_code, rather than issuing an + internal_error. Implement VIEW_CONVERT_EXPR. + * region-model.h (region_model_context::on_unknown_tree_code): New + vfunc. + (test_region_model_context::on_unknown_tree_code): New. + +2020-02-17 David Malcolm <dmalcolm@redhat.com> + * sm-malloc.cc (malloc_diagnostic::describe_state_change): For transition to the "null" state, only say "assuming" when transitioning from the "unchecked" state. |