aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/Checker.h
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-11-24 07:06:39 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-11-24 07:06:39 +0000
commit2055effed54d614b51e3501a174c9b1fe92e4de4 (patch)
tree19595a3da303a557b809a118d9e18e5e90e76cc7 /include/clang/Analysis/PathSensitive/Checker.h
parent990a07c0954c387813fa9cece48c0fdfac484d30 (diff)
Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into
CallAndMessageChecker. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89745 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/PathSensitive/Checker.h')
-rw-r--r--include/clang/Analysis/PathSensitive/Checker.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/Checker.h b/include/clang/Analysis/PathSensitive/Checker.h
index e94096ba4f..f6a5074fd8 100644
--- a/include/clang/Analysis/PathSensitive/Checker.h
+++ b/include/clang/Analysis/PathSensitive/Checker.h
@@ -81,6 +81,10 @@ public:
return getBugReporter().getSourceManager();
}
+ ValueManager &getValueManager() {
+ return Eng.getValueManager();
+ }
+
ExplodedNode *GenerateNode(bool autoTransition = true) {
assert(statement && "Only transitions with statements currently supported");
ExplodedNode *N = GenerateNodeImpl(statement, getState(), false);