diff options
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 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}"]; |

