[analyzer] print() JSONify: getNodeLabel implementation
authorCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 18:05:53 +0000 (18:05 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 18:05:53 +0000 (18:05 +0000)
commit13e491cca51ed187f52ee2e86e2b09ae19017bab
tree49a26fbad5e275d06b90d70d0075e1a159bdb577
parentf6faa382f3e0eae41e8e82848e4eafe08ea1ccb5
[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

llvm-svn: 361997
clang/include/clang/Analysis/ProgramPoint.h
clang/lib/Analysis/ProgramPoint.cpp
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
clang/test/Analysis/dump_egraph.c
clang/test/Analysis/dump_egraph.cpp