]> granicus.if.org Git - clang/commit
[analyzer] exploded-graph-rewriter: Implement program point tags.
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 1 Jul 2019 23:01:55 +0000 (23:01 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Mon, 1 Jul 2019 23:01:55 +0000 (23:01 +0000)
commitd4916e2a6ffbff852897a807f87e4e83b1a2145c
treeb81f91324f72356cbcb8af48be6fe7a3e01bff7c
parent81a5eb2a8999544d77d9f5860bce13e94473d6c4
[analyzer] exploded-graph-rewriter: Implement program point tags.

Keep them on a separate line for more visibility.

Differential Revision: https://reviews.llvm.org/D63965

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@364864 91177308-0d34-0410-b5e6-96231b3b80d8
test/Analysis/exploded-graph-rewriter/program_points.dot
utils/analyzer/exploded-graph-rewriter.py