Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DSTLAlgorithmModeling.cpp133 SVB.getConditionType()); in Find()
155 SVB.getConditionType()); in Find()
H A DIterator.cpp279 nonloc::ConcreteInt(Max), SVB.getConditionType()); in assumeNoOverflow()
289 nonloc::ConcreteInt(Min), SVB.getConditionType()); in assumeNoOverflow()
309 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
H A DArrayBoundCheckerV2.cpp156 svalBuilder.getConditionType()); in checkLocation()
195 svalBuilder.getConditionType()); in checkLocation()
H A DCStringChecker.cpp526 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
740 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
1170 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType()); in memsetAux()
1477 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()
1644 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
2125 svalBuilder.getConditionType()); in evalStrcmpCommon()
H A DIteratorModeling.cpp800 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
H A DBasicObjCFoundationChecks.cpp930 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
H A DStdLibraryFunctionsChecker.cpp446 SVB.evalBinOp(State, Op, ErrnoSVal, ZeroVal, SVB.getConditionType()) in apply()
947 QualType CondT = SVB.getConditionType(); in apply()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp139 Bldr.getConditionType()); in evalComparison()
H A DSimpleSValBuilder.cpp224 nonloc::ConcreteInt(Bound), SVB.getConditionType()); in isInRelation()
295 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked()
372 if (ResultTy != SVB.getConditionType()) in tryRearrange()
621 resultTy == getConditionType()); in evalBinOpNN()
624 getConditionType())); in evalBinOpNN()
H A DSValBuilder.cpp540 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
608 QualType CmpTy = getConditionType(); in evalIntegralCast()
H A DExprEngine.cpp264 svalBuilder.getConditionType()); in getInitialState()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h141 QualType getConditionType() const { in getConditionType() function