summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot
diff options
context:
space:
mode:
Diffstat (limited to 'clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot')
-rw-r--r--clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot5
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 a65a3a2464c..068ef58d25c 100644
--- a/clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot
+++ b/clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot
@@ -12,6 +12,7 @@ Node0x1 [shape=record,label=
"program_state": {
"store": null,
"environment": null,
+ "dynamic_types": null,
"constraints": [
{ "symbol": "reg_$0<x>", "range": "{ [0, 10] }" }
]
@@ -41,6 +42,7 @@ Node0x3 [shape=record,label=
"program_state": {
"store": null,
"environment": null,
+ "dynamic_types": null,
"constraints": [
{ "symbol": "reg_$0<x>", "range": "{ [0, 5] }" }
]
@@ -59,7 +61,8 @@ Node0x5 [shape=record,label=
"program_state": {
"store": null,
"environment": null,
- "constraints": null
+ "constraints": null,
+ "dynamic_types": null
}
}
\l}"];
OpenPOWER on IntegriCloud