Searched refs:DivZeroChecker (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DDivZeroChecker.cpp1 //== DivZeroChecker.cpp - Division by zero checker --------------*- C++ -*--==//
10 // This defines DivZeroChecker, a builtin check in ExprEngine that performs
25 class DivZeroChecker : public Checker< check::PreStmt<BinaryOperator> > { class in namespace:__anon18188
35 void DivZeroChecker::reportBug(const char *Msg,
48 void DivZeroChecker::checkPreStmt(const BinaryOperator *B,
91 mgr.registerChecker<DivZeroChecker>();
H A DAndroid.mk40 DivZeroChecker.cpp \

Completed in 360 milliseconds