diff options
Diffstat (limited to 'gcc/analyzer/ChangeLog')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 92377be..5fbaec3 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,5 +1,13 @@ 2020-02-26 David Malcolm <dmalcolm@redhat.com> + PR analyzer/93950 + * diagnostic-manager.cc + (diagnostic_manager::prune_for_sm_diagnostic): Assert that var is + either NULL or not a constant. When updating var, bulletproof + against constant values. + +2020-02-26 David Malcolm <dmalcolm@redhat.com> + PR analyzer/93947 * region-model.cc (region_model::get_fndecl_for_call): Gracefully fail for fn_decls that don't have a cgraph_node. |