HomeSort by: relevance | last modified time | path
    Searched refs:ConditionTruthVal (Results 1 - 16 of 16) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 32 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
39 return ConditionTruthVal(false);
41 return ConditionTruthVal(true);
ProgramState.cpp 366 ConditionTruthVal ProgramState::isNonNull(SVal V) const {
367 ConditionTruthVal IsNull = isNull(V);
370 return ConditionTruthVal(!IsNull.getValue());
373 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const {
377 ConditionTruthVal ProgramState::isNull(SVal V) const {
386 return ConditionTruthVal();
RangeConstraintManager.cpp 1397 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
1997 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,
2003 return ConditionTruthVal();
2018 return ConditionTruthVal();
SValBuilder.cpp 454 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs,
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 38 class ConditionTruthVal {
42 /// Construct a ConditionTruthVal indicating the constraint is constrained
44 ConditionTruthVal(bool constraint) : Val(constraint) {}
47 ConditionTruthVal() = default;
167 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) {
191 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
SMTConstraintManager.h 82 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override {
95 ConditionTruthVal isSat = checkModel(State, Sym, Exp);
96 ConditionTruthVal isNotSat = checkModel(State, Sym, NotExp);
107 return ConditionTruthVal();
327 ConditionTruthVal checkModel(ProgramStateRef State, SymbolRef Sym,
345 Cached[hash] = ConditionTruthVal();
347 Cached[hash] = ConditionTruthVal(res.getValue());
354 mutable llvm::DenseMap<unsigned, ConditionTruthVal> Cached;
SValBuilder.h 48 class ConditionTruthVal;
162 ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs);
ProgramState.h 219 ConditionTruthVal isNonNull(SVal V) const;
223 ConditionTruthVal isNull(SVal V) const;
226 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
SimpleStreamChecker.cpp 168 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym);
TrustNonnullChecker.cpp 188 ConditionTruthVal TV = C.getState()->isNonNull(Receiver);
FuchsiaHandleChecker.cpp 549 ConditionTruthVal HandleVal = Cmr.isNull(State, CurItem.first);
557 ConditionTruthVal ErrorVal = Cmr.isNull(State, ErrorSym);
MacOSKeychainAPIChecker.cpp 558 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey());
MallocChecker.cpp 1618 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret);
2871 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
2882 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
NullabilityChecker.cpp 268 ConditionTruthVal Nullness = State->isNull(Val);
PthreadLockChecker.cpp 297 ConditionTruthVal retZero = CMgr.isNull(state, *sym);
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
RetainCountChecker.cpp 1170 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.first);

Completed in 37 milliseconds