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

  /external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
35 return ConditionTruthVal(false);
37 return ConditionTruthVal(true);
38 return ConditionTruthVal();
RangeConstraintManager.cpp 316 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
340 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,
346 return ConditionTruthVal();
361 return ConditionTruthVal();
ProgramState.cpp 371 ConditionTruthVal ProgramState::isNull(SVal V) const {
380 return ConditionTruthVal();
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 30 class ConditionTruthVal {
33 /// Construct a ConditionTruthVal indicating the constraint is constrained
35 ConditionTruthVal(bool constraint) : Val(constraint) {}
38 ConditionTruthVal() {}
124 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) {
148 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
ProgramState.h 195 ConditionTruthVal isNull(SVal V) const;
  /external/clang/lib/StaticAnalyzer/Checkers/
SimpleStreamChecker.cpp 179 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym);
MallocChecker.cpp 847 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret);
    [all...]
MacOSKeychainAPIChecker.cpp 566 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey());

Completed in 37 milliseconds