diff options
Diffstat (limited to 'clang/test')
8 files changed, 85 insertions, 1 deletions
diff --git a/clang/test/Analysis/exploded-graph-rewriter/constraints.dot b/clang/test/Analysis/exploded-graph-rewriter/constraints.dot index 49aba4b15e1..58faafc0f26 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/constraints.dot +++ b/clang/test/Analysis/exploded-graph-rewriter/constraints.dot @@ -20,6 +20,7 @@ Node0x1 [shape=record,label= "store": null, "environment": null, "dynamic_types": null, + "constructing_objects": null, "constraints": [ { "symbol": "reg_$0<x>", "range": "{ [0, 0] }" } ] 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}"]; diff --git a/clang/test/Analysis/exploded-graph-rewriter/environment.dot b/clang/test/Analysis/exploded-graph-rewriter/environment.dot index 4c6c93b85de..3a54c6ecb1e 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/environment.dot +++ b/clang/test/Analysis/exploded-graph-rewriter/environment.dot @@ -35,6 +35,7 @@ Node0x1 [shape=record,label= "store": null, "constraints": null, "dynamic_types": null, + "constructing_objects": null, "environment": { "pointer": "0x2", "items": [ diff --git a/clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot b/clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot index ac41cdf97f0..5264b40f802 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot +++ b/clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot @@ -14,6 +14,7 @@ Node0x1 [shape=record,label= "store": null, "constraints": null, "dynamic_types": null, + "constructing_objects": null, "environment": { "pointer": "0x2", "items": [ @@ -61,6 +62,7 @@ Node0x6 [shape=record,label= "store": null, "constraints": null, "dynamic_types": null, + "constructing_objects": null, "environment": { "pointer": "0x2", "items": [ @@ -102,6 +104,7 @@ Node0x9 [shape=record,label= "store": null, "constraints": null, "dynamic_types": null, + "constructing_objects": null, "environment": { "pointer": "0x2", "items": [ diff --git a/clang/test/Analysis/exploded-graph-rewriter/initializers_under_construction.cpp b/clang/test/Analysis/exploded-graph-rewriter/initializers_under_construction.cpp new file mode 100644 index 00000000000..472627ef619 --- /dev/null +++ b/clang/test/Analysis/exploded-graph-rewriter/initializers_under_construction.cpp @@ -0,0 +1,25 @@ +// FIXME: Figure out how to use %clang_analyze_cc1 with our lit.local.cfg. +// RUN: %clang_cc1 -analyze -triple x86_64-unknown-linux-gnu \ +// RUN: -analyzer-checker=core \ +// RUN: -analyzer-dump-egraph=%t.dot %s +// RUN: %exploded_graph_rewriter %t.dot | FileCheck %s +// REQUIRES: asserts + +// FIXME: Substitution doesn't seem to work on Windows. +// UNSUPPORTED: system-windows + +struct A { + A() {} +}; + +struct B { + A a; + B() : a() {} +}; + +void test() { + // CHECK: (construct into member variable) + // CHECK-SAME: <td align="left">a</td> + // CHECK-SAME: <td align="left">&b->a</td> + B b; +} diff --git a/clang/test/Analysis/exploded-graph-rewriter/objects_under_construction.cpp b/clang/test/Analysis/exploded-graph-rewriter/objects_under_construction.cpp new file mode 100644 index 00000000000..c2a805f099c --- /dev/null +++ b/clang/test/Analysis/exploded-graph-rewriter/objects_under_construction.cpp @@ -0,0 +1,48 @@ +// FIXME: Figure out how to use %clang_analyze_cc1 with our lit.local.cfg. +// RUN: %clang_cc1 -analyze -triple x86_64-unknown-linux-gnu \ +// RUN: -analyzer-checker=core \ +// RUN: -analyzer-dump-egraph=%t.dot %s +// RUN: %exploded_graph_rewriter %t.dot | FileCheck %s +// REQUIRES: asserts + +// FIXME: Substitution doesn't seem to work on Windows. +// UNSUPPORTED: system-windows + +struct S { + S() {} +}; + +void test() { + // CHECK: Objects Under Construction: + // CHECK-SAME: <tr> + // CHECK-SAME: <td align="left"><b>#0 Call</b></td> + // CHECK-SAME: <td align="left" colspan="2"> + // CHECK-SAME: <font color="grey60">test </font> + // CHECK-SAME: </td> + // CHECK-SAME: </tr> + // CHECK-SAME: <tr> + // CHECK-SAME: <td align="left"><i>S{{[0-9]*}}</i></td> + // CHECK-SAME: <td align="left"><font color="darkgreen"><i> + // CHECK-SAME: (materialize temporary) + // CHECK-SAME: </i></font></td> + // CHECK-SAME: <td align="left">S()</td> + // CHECK-SAME: <td align="left">&s</td> + // CHECK-SAME: </tr> + // CHECK-SAME: <tr> + // CHECK-SAME: <td align="left"><i>S{{[0-9]*}}</i></td> + // CHECK-SAME: <td align="left"><font color="darkgreen"><i> + // CHECK-SAME: (elide constructor) + // CHECK-SAME: </i></font></td> + // CHECK-SAME: <td align="left">S()</td> + // CHECK-SAME: <td align="left">&s</td> + // CHECK-SAME: </tr> + // CHECK-SAME: <tr> + // CHECK-SAME: <td align="left"><i>S{{[0-9]*}}</i></td> + // CHECK-SAME: <td align="left"><font color="darkgreen"><i> + // CHECK-SAME: (construct into local variable) + // CHECK-SAME: </i></font></td> + // CHECK-SAME: <td align="left">S s = S();</td> + // CHECK-SAME: <td align="left">&s</td> + // CHECK-SAME: </tr> + S s = S(); +} diff --git a/clang/test/Analysis/exploded-graph-rewriter/store.dot b/clang/test/Analysis/exploded-graph-rewriter/store.dot index f431319cc6d..1c306ce160f 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/store.dot +++ b/clang/test/Analysis/exploded-graph-rewriter/store.dot @@ -30,6 +30,7 @@ Node0x1 [shape=record,label= "environment": null, "constraints": null, "dynamic_types": null, + "constructing_objects": null, "store": { "pointer": "0x2", "items": [ diff --git a/clang/test/Analysis/exploded-graph-rewriter/store_diff.dot b/clang/test/Analysis/exploded-graph-rewriter/store_diff.dot index ab36e5f9869..ddd26ce5dcd 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/store_diff.dot +++ b/clang/test/Analysis/exploded-graph-rewriter/store_diff.dot @@ -13,6 +13,7 @@ Node0x1 [shape=record,label= "environment": null, "constraints": null, "dynamic_types": null, + "constructing_objects": null, "store": { "pointer": "0x2", "items": [ @@ -59,6 +60,7 @@ Node0x4 [shape=record,label= "environment": null, "constraints": null, "dynamic_types": null, + "constructing_objects": null, "store": { "pointer": "0x5", "items": [ |
