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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h 67 ConstraintManager &getConstraintManager() {
68 return Eng.getConstraintManager();
ExprEngine.h 211 ConstraintManager& getConstraintManager() {
212 return StateMgr.getConstraintManager();
ProgramState.h 501 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
  /external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 54 ConstraintManager &CM = C.getConstraintManager();
AttrNonNullChecker.cpp 87 ConstraintManager &CM = C.getConstraintManager();
StreamChecker.cpp 231 ConstraintManager &CM = C.getConstraintManager();
347 ConstraintManager &CM = C.getConstraintManager();
  /external/clang/lib/StaticAnalyzer/Core/
ExprEngineC.cpp 48 !getConstraintManager().canReasonAbout(RightV)) {
126 !getConstraintManager().canReasonAbout(Result)) {
360 !getConstraintManager().canReasonAbout(InitVal)) &&
715 if (Result.isUnknown() || !getConstraintManager().canReasonAbout(Result)){
ProgramState.cpp 306 ConstraintManager &CM = SM.getConstraintManager();
456 Mgr.getConstraintManager().print(this, Out, NL, Sep);
ExprEngine.cpp 290 CheckerState = getConstraintManager().removeDeadBindings(CheckerState,
    [all...]

Completed in 106 milliseconds