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 317 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
342 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,
348 return ConditionTruthVal();
363 return ConditionTruthVal();
ProgramState.cpp 350 ConditionTruthVal ProgramState::isNull(SVal V) const {
359 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     [all...]
MacOSKeychainAPIChecker.cpp 566 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey());

Completed in 5212 milliseconds