aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/DivZeroChecker.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-11-06 20:47:51 +0000
committerTed Kremenek <kremenek@apple.com>2009-11-06 20:47:51 +0000
commit36df58ab9e3eb6823966ee16c5516eea1d88e541 (patch)
tree114ae618e835afac055c0f3ac8bc121e91b66efe /lib/Analysis/DivZeroChecker.cpp
parente504170f688b0e2113011839b933a4ec450b5182 (diff)
Make the implementation of DivZeroChecker private.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86288 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/DivZeroChecker.cpp')
-rw-r--r--lib/Analysis/DivZeroChecker.cpp17
1 files changed, 16 insertions, 1 deletions
diff --git a/lib/Analysis/DivZeroChecker.cpp b/lib/Analysis/DivZeroChecker.cpp
index c90c0ab493..5f949fdc39 100644
--- a/lib/Analysis/DivZeroChecker.cpp
+++ b/lib/Analysis/DivZeroChecker.cpp
@@ -12,10 +12,25 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/Analysis/PathSensitive/Checkers/DivZeroChecker.h"
+#include "clang/Analysis/PathSensitive/CheckerVisitor.h"
+#include "GRExprEngineInternalChecks.h"
using namespace clang;
+namespace {
+class VISIBILITY_HIDDEN DivZeroChecker : public CheckerVisitor<DivZeroChecker> {
+ BuiltinBug *BT;
+public:
+ DivZeroChecker() : BT(0) {}
+ static void *getTag();
+ void PreVisitBinaryOperator(CheckerContext &C, const BinaryOperator *B);
+};
+} // end anonymous namespace
+
+void clang::RegisterDivZeroChecker(GRExprEngine &Eng) {
+ Eng.registerCheck(new DivZeroChecker());
+}
+
void *DivZeroChecker::getTag() {
static int x;
return &x;