[PATCH] D65345: [analyzer] exploded-graph-rewriter: Implement manual graph trimming.

[Csaba Dabis via Phabricator via cfe-commits]

Charusso accepted this revision.
Charusso added a comment.
This revision is now accepted and ready to land.

It is a great idea, thanks!



================
Comment at: clang/utils/analyzer/exploded-graph-rewriter.py:918
+# TargetedTrimmer keeps paths that lead to specific nodes and discards all
+# other paths. Useful when you cannot use -trim-egraph (eg., when debugging
+# a crash).
----------------
Extra comma at `(eg.,`


================
Comment at: clang/utils/analyzer/exploded-graph-rewriter.py:989
+    parser.add_argument('--to', type=str, default=None,
+                        help='display only execution paths from the root '
+                             'to the given comma-separated list of nodes '
----------------
`only display` for consistency with the above arguments.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D65345/new/

https://reviews.llvm.org/D65345