aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
diff options
context:
space:
mode:
authorGCC Administrator <gccadmin@gcc.gnu.org>2021-04-06 00:16:43 +0000
committerGCC Administrator <gccadmin@gcc.gnu.org>2021-04-06 00:16:43 +0000
commitb1da991623341a2ecd97bf9034b93b0d63516517 (patch)
treed21a501a499b3fa3688b6e325681311d4c556eaf /gcc/analyzer
parentb07dd9b0d0e501a0083da79e2bca17041c007ec8 (diff)
downloadgcc-b1da991623341a2ecd97bf9034b93b0d63516517.zip
gcc-b1da991623341a2ecd97bf9034b93b0d63516517.tar.gz
gcc-b1da991623341a2ecd97bf9034b93b0d63516517.tar.bz2
Daily bump.
Diffstat (limited to 'gcc/analyzer')
-rw-r--r--gcc/analyzer/ChangeLog18
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index fadf9d3..68ef2aa 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,21 @@
+2021-04-05 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/99906
+ * analyzer.cc (maybe_reconstruct_from_def_stmt): Fix NULL
+ dereference on calls with zero arguments.
+ * sm-malloc.cc (malloc_state_machine::on_stmt): When handling
+ __attribute__((nonnull)), only call get_diagnostic_tree if the
+ result will be used.
+
+2021-04-05 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/99886
+ * diagnostic-manager.cc
+ (diagnostic_manager::prune_interproc_events): Use signed integers
+ when subtracting one from path->num_events ().
+ (diagnostic_manager::consolidate_conditions): Likewise. Convert
+ next_idx to a signed int.
+
2021-04-01 David Malcolm <dmalcolm@redhat.com>
* diagnostic-manager.cc (diagnostic_manager::add_diagnostic): Make