HomeSort by relevance Sort by last modified time
    Searched refs:ConditionTruthVal (Results 1 - 9 of 9) 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 334 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
373 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,
379 return ConditionTruthVal();
394 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() {}
153 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) {
177 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
ProgramState.h 218 ConditionTruthVal isNull(SVal V) const;
  /external/clang/lib/StaticAnalyzer/Checkers/
SimpleStreamChecker.cpp 169 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym);
MacOSKeychainAPIChecker.cpp 566 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey());
MallocChecker.cpp     [all...]
NullabilityChecker.cpp 280 ConditionTruthVal Nullness = State->isNull(Val);
    [all...]

Completed in 624 milliseconds