[analyzer] exploded-graph-rewriter: Add support for objects under construction.
authorArtem Dergachev <artem.dergachev@gmail.com>
Tue, 2 Jul 2019 02:17:50 +0000 (02:17 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 2 Jul 2019 02:17:50 +0000 (02:17 +0000)
commit0a77d9192ab75b8fcf218747d6bcd213dce1f4ce
treed647ff4bb47a6787fc715bee3bb07b880e10b78b
parent745379a0af74a37465f616b99c10a09b4f0d2add
[analyzer] exploded-graph-rewriter: Add support for objects under construction.

This trait is Environment-like, so there was a chance to re-use a lot of code.

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

llvm-svn: 364880
clang/test/Analysis/exploded-graph-rewriter/constraints.dot
clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot
clang/test/Analysis/exploded-graph-rewriter/environment.dot
clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot
clang/test/Analysis/exploded-graph-rewriter/initializers_under_construction.cpp [new file with mode: 0644]
clang/test/Analysis/exploded-graph-rewriter/objects_under_construction.cpp [new file with mode: 0644]
clang/test/Analysis/exploded-graph-rewriter/store.dot
clang/test/Analysis/exploded-graph-rewriter/store_diff.dot
clang/utils/analyzer/exploded-graph-rewriter.py