]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e320468) | patch
[analyzer] a few helper methods for getting and comparing symbolic values
authorGeorge Karpenkov <ekarpenkov@apple.com>
Thu, 18 Jan 2018 03:18:36 +0000 (03:18 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Thu, 18 Jan 2018 03:18:36 +0000 (03:18 +0000)
commit4e0630a8caccd9fd0d6e07e7efbc41fdb9734d39
tree33eeeb0cdeb2ad57c8d49572c6e43b8b00d02620tree | snapshot
parente320468c89c1cb0231c211068a822ba5122b6bd6commit | diff
[analyzer] a few helper methods for getting and comparing symbolic values

API calls should express intent, and that's a motivation behind this patch.

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

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