Home
last modified time | relevance | path

Searched refs:getConditionType (Results 1 – 12 of 12) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp87 svalBuilder.getConditionType()); in checkBind()
123 svalBuilder.getConditionType()); in checkBind()
H A DArrayBoundCheckerV2.cpp155 svalBuilder.getConditionType()); in checkLocation()
195 svalBuilder.getConditionType()); in checkLocation()
H A DCStringChecker.cpp461 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
653 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
1082 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType()); in memsetAux()
1393 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()
1570 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
2031 svalBuilder.getConditionType()); in evalStrcmpCommon()
H A DIteratorChecker.cpp998 nonloc::ConcreteInt(Max), SVB.getConditionType()); in assumeNoOverflow()
1008 nonloc::ConcreteInt(Min), SVB.getConditionType()); in assumeNoOverflow()
2118 SVB.getConditionType()); in relateIteratorPositions()
2388 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
H A DStdLibraryFunctionsChecker.cpp324 QualType CondT = SVB.getConditionType(); in applyAsComparesToArgument()
H A DBasicObjCFoundationChecks.cpp932 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp116 Bldr.getConditionType()); in evalComparison()
H A DSimpleSValBuilder.cpp319 nonloc::ConcreteInt(Bound), SVB.getConditionType()); in isInRelation()
390 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked()
471 if (ResultTy != SVB.getConditionType()) in tryRearrange()
695 resultTy == getConditionType()); in evalBinOpNN()
698 getConditionType())); in evalBinOpNN()
H A DSValBuilder.cpp444 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
512 QualType CmpTy = getConditionType(); in evalIntegralCast()
H A DExprEngine.cpp247 svalBuilder.getConditionType()); in getInitialState()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h161 QualType getConditionType() const { in getConditionType() function
/freebsd-12.1/contrib/llvm/lib/Transforms/Vectorize/
H A DSLPVectorizer.cpp5364 Type *getConditionType() const { in getConditionType() function in __anonfe9ee8d91a11::HorizontalReduction::OperationData