This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch dmalcolm/analyzer in repository gcc.

from 722d2d48186 [analyzer] Function pointer support new a59f0656924 [analyzer] Support paths for callbacks new 81cca6fdb05 [analyzer] More test coverage new f64b7650791 [analyzer] Generalize rewind_info_t to exploded_edge::custo [...] new 1051c72c97d [analyzer] Support global states and custom transitions new cf1f1db58ab [analyzer] Support custom events new 107255e3905 [analyzer] Expose state_change_event in evdesc::state_change new 0cceea28aa2 [analyzer] Add -Wanalyzer-unsafe-call-within-signal-handler

The 7 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/Make-plugin.in | 1 + gcc/analyzer/analyzer.h | 2 + gcc/analyzer/checker-path.cc | 62 +++-- gcc/analyzer/checker-path.h | 40 ++- gcc/analyzer/diagnostic-manager.cc | 135 +++++---- gcc/analyzer/engine.cc | 143 +++++++--- gcc/analyzer/exploded-graph.h | 85 ++++-- gcc/analyzer/pending-diagnostic.h | 8 +- gcc/analyzer/plugin.opt | 4 + gcc/analyzer/program-state.cc | 38 ++- gcc/analyzer/program-state.h | 11 + gcc/analyzer/sm-signal.cc | 304 +++++++++++++++++++++ gcc/analyzer/sm.cc | 1 + gcc/analyzer/sm.h | 24 ++ gcc/doc/invoke.texi | 13 + gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 6 + gcc/testsuite/gcc.dg/analyzer/signal-1.c | 31 +++ gcc/testsuite/gcc.dg/analyzer/signal-2.c | 34 +++ gcc/testsuite/gcc.dg/analyzer/signal-3.c | 23 ++ gcc/testsuite/gcc.dg/analyzer/signal-4a.c | 74 +++++ gcc/testsuite/gcc.dg/analyzer/signal-4b.c | 89 ++++++ .../gcc.dg/plugin/diagnostic-test-paths-4.c | 83 ++++++ .../gcc.dg/plugin/diagnostic_plugin_test_paths.c | 81 ++++++ gcc/testsuite/gcc.dg/plugin/plugin.exp | 1 + gcc/tree-diagnostic-path.cc | 75 ++--- 25 files changed, 1201 insertions(+), 167 deletions(-) create mode 100644 gcc/analyzer/sm-signal.cc create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-4a.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/signal-4b.c create mode 100644 gcc/testsuite/gcc.dg/plugin/diagnostic-test-paths-4.c