This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 6fd485d15c1 Update range query cache when a statement is updated. new 6341f14e369 analyzer: use std::unique_ptr for pending_diagnostic/note new 2a9b395b1e4 analyzer: use std::unique_ptr for saved_diagnostic::m_stmt_finder new ca5ff10546e analyzer: use std::unique_ptr for custom_edge_info pointers new e031c5a17a3 analyzer: use std::unique_ptr for feasibility_problems and [...] new d60b40b86b1 analyzer: use std::unique_ptr for checker_event new accece8c954 analyzer: use std::unique_ptr during bifurcation new 76dd2c4f2d4 analyzer: use std::unique_ptr for known functions new e177be86c7d analyzer: use std::unique_ptr for state machines from plugins
The 8 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: gcc/analyzer/analysis-plan.cc | 1 + gcc/analyzer/analyzer-pass.cc | 1 + gcc/analyzer/analyzer-selftests.cc | 1 + gcc/analyzer/analyzer.cc | 1 + gcc/analyzer/analyzer.h | 9 +- gcc/analyzer/call-info.cc | 10 +- gcc/analyzer/call-string.cc | 1 + gcc/analyzer/call-summary.cc | 1 + gcc/analyzer/checker-path.cc | 28 +-- gcc/analyzer/checker-path.h | 4 +- gcc/analyzer/complexity.cc | 1 + gcc/analyzer/constraint-manager.cc | 1 + gcc/analyzer/diagnostic-manager.cc | 257 ++++++++++----------- gcc/analyzer/diagnostic-manager.h | 29 ++- gcc/analyzer/engine.cc | 176 +++++++------- gcc/analyzer/exploded-graph.h | 21 +- gcc/analyzer/feasible-graph.cc | 5 +- gcc/analyzer/feasible-graph.h | 2 +- gcc/analyzer/known-function-manager.cc | 6 +- gcc/analyzer/known-function-manager.h | 2 +- gcc/analyzer/pending-diagnostic.cc | 14 +- gcc/analyzer/pending-diagnostic.h | 1 + gcc/analyzer/program-point.cc | 1 + gcc/analyzer/program-state.cc | 1 + gcc/analyzer/region-model-asm.cc | 1 + gcc/analyzer/region-model-impl-calls.cc | 16 +- gcc/analyzer/region-model-manager.cc | 1 + gcc/analyzer/region-model-reachability.cc | 1 + gcc/analyzer/region-model.cc | 90 ++++---- gcc/analyzer/region-model.h | 42 ++-- gcc/analyzer/region.cc | 1 + gcc/analyzer/sm-fd.cc | 58 +++-- gcc/analyzer/sm-file.cc | 10 +- gcc/analyzer/sm-malloc.cc | 53 ++--- gcc/analyzer/sm-pattern-test.cc | 6 +- gcc/analyzer/sm-sensitive.cc | 5 +- gcc/analyzer/sm-signal.cc | 10 +- gcc/analyzer/sm-taint.cc | 22 +- gcc/analyzer/sm.cc | 10 + gcc/analyzer/sm.h | 12 +- gcc/analyzer/state-purge.cc | 1 + gcc/analyzer/store.cc | 1 + gcc/analyzer/supergraph.cc | 1 + gcc/analyzer/svalue.cc | 1 + gcc/analyzer/trimmed-graph.cc | 1 + gcc/analyzer/varargs.cc | 38 +-- gcc/testsuite/gcc.dg/plugin/analyzer_gil_plugin.c | 15 +- .../gcc.dg/plugin/analyzer_kernel_plugin.c | 11 +- .../gcc.dg/plugin/analyzer_known_fns_plugin.c | 11 +- 49 files changed, 534 insertions(+), 458 deletions(-)