]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74f2f79) | patch
[analyzer] print() JSONify: Constraints implementation
authorCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 15:43:26 +0000 (15:43 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Wed, 29 May 2019 15:43:26 +0000 (15:43 +0000)
commit2453ceca55795067a0121805e63f67468f4ed302
tree83acc96cc18d06f7378fe82926f84299eb56ca78tree | snapshot
parent74f2f79ab50321f58b41ead5aa997d62a8997492commit | diff
[analyzer] print() JSONify: Constraints 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/D62082

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@361978 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h diff | blob | history
lib/StaticAnalyzer/Core/ProgramState.cpp diff | blob | history
lib/StaticAnalyzer/Core/RangeConstraintManager.cpp diff | blob | history
test/Analysis/expr-inspection.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.