projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0345b6) | 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)
commitd5680e5979af1bdacecfa95bbe81fb082f959e5c
treeb69c77c4f2860641234ad4e157989491ca851a08tree | snapshot
parente0345b6e1f25d506ffa09a9b0235775b708c1e5bcommit | 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

llvm-svn: 322809
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h diff | blob | history
clang/lib/StaticAnalyzer/Core/ProgramState.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/SValBuilder.cpp diff | blob | history
Domain: System / Toolchain;