HomeSort by relevance Sort by last modified time
    Searched refs:DivZeroChecker (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 1 //== 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> > {
35 void DivZeroChecker::reportBug(const char *Msg,
48 void DivZeroChecker::checkPreStmt(const BinaryOperator *B,
91 mgr.registerChecker<DivZeroChecker>();
Android.mk 40 DivZeroChecker.cpp \

Completed in 157 milliseconds