[analyzer] print() JSONify: Constructing objects implementation
authorCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 15:58:26 +0000 (15:58 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 15:58:26 +0000 (15:58 +0000)
commit35e54eb31ef2280e1ac3c122d619d10c51379bc3
tree123d3890880bc42b354b15ef3e1ca783249af113
parent32981637ce6c025ca0695f768a110c6c98c03e94
[analyzer] print() JSONify: Constructing objects implementation

Summary: -

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

Reviewed By: NoQ

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

Tags: #clang

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

llvm-svn: 361980
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
clang/lib/StaticAnalyzer/Core/ProgramState.cpp
clang/test/Analysis/dump_egraph.cpp
clang/test/Analysis/expr-inspection.c