]> granicus.if.org Git - clang/commit
[analyzer] print() JSONify: Program state implementation
authorCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 16:22:21 +0000 (16:22 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 16:22:21 +0000 (16:22 +0000)
commit8004395d01b18dd4d7167f944bc12725a7e558ac
tree62ba869266202bd59340360a76ef22b4c8073adc
parentd2c834f99b4d3c96f58c0b5dc73a73050e7e090d
[analyzer] print() JSONify: Program state 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/D62087

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@361983 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
lib/StaticAnalyzer/Core/ProgramState.cpp
test/Analysis/dump_egraph.cpp
test/Analysis/expr-inspection.c