Home
last modified time | relevance | path

Searched refs:isNonNull (Results 1 – 10 of 10) sorted by relevance

/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
DTrustNonnullChecker.cpp188 ConditionTruthVal TV = C.getState()->isNonNull(Receiver); in isNonNullPtr()
228 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()
DSmartPtrModeling.cpp867 } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()
DNullabilityChecker.cpp914 ConditionTruthVal IsNonNull = State->isNonNull(I->second.Value); in evalAssume()
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp370 ConditionTruthVal ProgramState::isNonNull(SVal V) const { in isNonNull() function in ProgramState
DSValBuilder.cpp538 return state->isNonNull(evalEQ(state, lhs, rhs)); in areEqual()
/openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h261 ConditionTruthVal isNonNull(SVal V) const;
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
DRetainCountDiagnostics.cpp300 } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
/openbsd/src/gnu/llvm/clang/lib/CodeGen/
DCGCall.cpp2704 if (NNAttr->isNonNull(ArgNo)) in getNonNullAttr()
DTargetInfo.cpp524 LangAS DestAddr, llvm::Type *DestTy, bool isNonNull) const { in performAddrSpaceCast()
/openbsd/src/gnu/llvm/clang/include/clang/Basic/
DAttr.td1968 bool isNonNull(unsigned IdxAST) const {