diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-07-02 02:17:50 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-07-02 02:17:50 +0000 |
| commit | 0a77d9192ab75b8fcf218747d6bcd213dce1f4ce (patch) | |
| tree | d647ff4bb47a6787fc715bee3bb07b880e10b78b /clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot | |
| parent | 745379a0af74a37465f616b99c10a09b4f0d2add (diff) | |
| download | bcm5719-llvm-0a77d9192ab75b8fcf218747d6bcd213dce1f4ce.tar.gz bcm5719-llvm-0a77d9192ab75b8fcf218747d6bcd213dce1f4ce.zip | |
[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
Diffstat (limited to 'clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot')
| -rw-r--r-- | clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot b/clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot index 068ef58d25c..24aa9b41a7a 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot +++ b/clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot @@ -13,6 +13,7 @@ Node0x1 [shape=record,label= "store": null, "environment": null, "dynamic_types": null, + "constructing_objects": null, "constraints": [ { "symbol": "reg_$0<x>", "range": "{ [0, 10] }" } ] @@ -43,6 +44,7 @@ Node0x3 [shape=record,label= "store": null, "environment": null, "dynamic_types": null, + "constructing_objects": null, "constraints": [ { "symbol": "reg_$0<x>", "range": "{ [0, 5] }" } ] @@ -62,7 +64,8 @@ Node0x5 [shape=record,label= "store": null, "environment": null, "constraints": null, - "dynamic_types": null + "dynamic_types": null, + "constructing_objects": null } } \l}"]; |
