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 0d04604..458fdae 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,28 @@ +2020-09-28 David Malcolm <dmalcolm@redhat.com> + + * region-model.h (binop_svalue::dyn_cast_binop_svalue): Remove + redundant "virtual". Add FINAL OVERRIDE. + (widening_svalue::dyn_cast_widening_svalue): Add FINAL OVERRIDE. + (compound_svalue::dyn_cast_compound_svalue): Likewise. + (conjured_svalue::dyn_cast_conjured_svalue): Likewise. + +2020-09-28 David Malcolm <dmalcolm@redhat.com> + + * diagnostic-manager.cc (null_assignment_sm_context::m_visitor): + Remove unused field. + +2020-09-28 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/97233 + * analyzer.cc (is_longjmp_call_p): Require the initial argument + to be a pointer. + * engine.cc (exploded_node::on_longjmp): Likewise. + +2020-09-28 David Malcolm <dmalcolm@redhat.com> + + * program-state.cc (sm_state_map::print): Update check + for m_global_state being the start state. + 2020-09-26 David Malcolm <dmalcolm@redhat.com> PR analyzer/96646 |