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
