v6 of analyzer patch kit

[David Malcolm <dmalcolm at redhat dot com>]

On Wed, 2020-01-08 at 04:02 -0500, David Malcolm wrote:
> Here's an updated version of the analyzer patch kit.

I've rebased (to r280067) and applied various fixes to the kit; I've
pushed a v6 of the kit to the dmalcolm/analyzer branch of the git
mirror (along with various followups):
https://gcc.gnu.org/git/?p=gcc.git;a=shortlog;h=refs/heads/dmalcolm/analyzer

I've also annotated the patch Subject lines with a brief review status
line e.g. {approved}, {needs review} etc.

Current review status (numbering is that of v6 of the kit):

Needs review:
  0003-needs-review-testsuite-add-dg-enable-nn-line-numbers.patch
  0005-needs-review-Add-ordered_hash_map.patch
  0006-needs-review-timevar.def-add-TVs-for-analyzer.patch
  0008-needs-review-analyzer-changes-to-configure.ac.patch
  0009-needs-review-analyzer-add-new-files-to-Makefile.in.patch
  0011-needs-review-analyzer-command-line-options.patch
  0012-needs-review-analyzer-logging-support.patch
  0013-needs-review-analyzer-new-file-analyzer-pass.cc-and-.patch
  0014-needs-review-analyzer-new-files-graphviz.-cc-h.patch
  0016-needs-review-analyzer-new-files-supergraph.-cc-h.patch
  0017-needs-review-response-analyzer-new-files-analyzer.-c.patch
  0019-needs-review-analyzer-new-files-constraint-manager.-.patch
  0020-needs-review-analyzer-new-files-region-model.-cc-h.patch
  0021-needs-review-analyzer-new-files-pending-diagnostic.-.patch
  0023-needs-review-analyzer-new-files-sm-malloc.cc-and-sm-.patch
  0027-needs-review-analyzer-new-file-sm-signal.cc.patch
  0032-needs-review-analyzer-new-files-program-state.-cc-h.patch
  0033-needs-review-analyzer-new-file-exploded-graph.h.patch
  0035-needs-review-analyzer-new-files-engine.-cc-h.patch
  0037-needs-review-analyzer-new-files-diagnostic-manager.-.patch
  0038-needs-review-gdbinit.in-add-break-on-saved-diagnosti.patch
  0039-needs-review-analyzer-test-suite.patch

Needs re-review:
  0022-needs-re-review-analyzer-new-files-sm.-cc-h.patch
  0036-needs-re-approval-analyzer-new-files-checker-path.-c.patch

Semi-approved:
  0015-semi-approved-analyzer-new-files-digraph.-cc-h-and-s.patch
  0018-semi-approved-analyzer-new-files-tristate.-cc-h.patch
  0024-semi-approved-analyzer-new-file-sm-file.cc.patch
  0026-semi-approved-analyzer-new-file-sm-sensitive.cc.patch
  0028-semi-approved-analyzer-new-file-sm-taint.cc.patch

Approved:
  0001-approved-analyzer-user-facing-documentation.patch
  0002-approved-analyzer-internal-documentation.patch
  0010-approved-analyzer-new-files-analyzer-selftests.-cc-h.patch
  0025-approved-analyzer-new-file-sm-pattern-test.cc.patch
  0029-approved-analyzer-new-files-analysis-plan.-cc-h.patch
  0030-approved-analyzer-new-files-call-string.-cc-h.patch
  0031-approved-analyzer-new-files-program-point.-cc-h.patch
  0034-approved-analyzer-new-files-state-purge.-cc-h.patch

Can self approve:
  0004-can-self-approve-Add-diagnostic-paths.patch
  0007-obvious-analyzer-add-ChangeLog.patch

I can resend these to the list if that would be helpful.

Thanks
Dave