[analyzer] print() JSONify: ExplodedNode revision
authorCsaba Dabis <dabis.csaba98@gmail.com>
Fri, 31 May 2019 17:54:12 +0000 (17:54 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Fri, 31 May 2019 17:54:12 +0000 (17:54 +0000)
commit4595f01b062b48290fee50749154022d7d8cf9fd
treec539f5024f69c63c071d136fda306ef9e0b2da4d
parent0c84dafd6b52003d6948dbce20d0df61874c037e
[analyzer] print() JSONify: ExplodedNode revision

Summary: Revert node-ID removal.

Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus

Subscribers: szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, dkrupp,
             cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D62658

llvm-svn: 362249
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp