diff options
Diffstat (limited to 'clang/test/Analysis/exploded-graph-rewriter/store_diff.dot')
| -rw-r--r-- | clang/test/Analysis/exploded-graph-rewriter/store_diff.dot | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/test/Analysis/exploded-graph-rewriter/store_diff.dot b/clang/test/Analysis/exploded-graph-rewriter/store_diff.dot index 47ea9af014b..d0a4e19817a 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/store_diff.dot +++ b/clang/test/Analysis/exploded-graph-rewriter/store_diff.dot @@ -11,6 +11,7 @@ Node0x1 [shape=record,label= "program_points": [], "program_state": { "environment": null, + "constraints": null, "store": [ { "cluster": "x", @@ -52,6 +53,7 @@ Node0x4 [shape=record,label= "program_points": [], "program_state": { "environment": null, + "constraints": null, "store": [ { "cluster": "x", |
