diff options
author | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-05-29 18:05:53 +0000 |
---|---|---|
committer | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-05-29 18:05:53 +0000 |
commit | ba7166bafcac1412220299dafcf7616f8d95e225 (patch) | |
tree | 0b2f6f26a3f275c4ed6e1c3ca34663fcf63f8600 /test/Analysis/dump_egraph.c | |
parent | 93cc0ae0decc3de36ff9a75ca05213e027d16cdc (diff) | |
download | clang-ba7166bafcac1412220299dafcf7616f8d95e225.tar.gz |
[analyzer] print() JSONify: getNodeLabel implementation
Summary: This patch also rewrites the ProgramPoint printing.
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Subscribers: cfe-commits, szepet, rnkovacs, a.sidorin, mikhail.ramalho,
donat.nagy, dkrupp
Tags: #clang
Differential Revision: https://reviews.llvm.org/D62346
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@361997 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/dump_egraph.c')
-rw-r--r-- | test/Analysis/dump_egraph.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/test/Analysis/dump_egraph.c b/test/Analysis/dump_egraph.c index 6e8793b202..f1ac03b10c 100644 --- a/test/Analysis/dump_egraph.c +++ b/test/Analysis/dump_egraph.c @@ -11,6 +11,10 @@ int foo() { } // CHECK: digraph "Exploded Graph" { -// CHECK: Edge: (B2, B1) -// CHECK: Block Entrance: B1 -// CHECK: Bug report attached + +// CHECK: \"program_points\": [\l \{ \"kind\": \"Edge\", \"src_id\": 2, \"dst_id\": 1, \"terminator\": null, \"term_kind\": null, \"tag\": null \}\l ],\l \"program_state\": null + +// CHECK: \"program_points\": [\l \{ \"kind\": \"BlockEntrance\", \"block_id\": 1 + +// CHECK: \"has_report\": true + |