Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSTLAlgorithmModeling.cpp133 SVB.getConditionType()); in Find()
155 SVB.getConditionType()); in Find()
H A DIterator.cpp277 nonloc::ConcreteInt(Max), SVB.getConditionType()); in assumeNoOverflow()
287 nonloc::ConcreteInt(Min), SVB.getConditionType()); in assumeNoOverflow()
307 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
H A DStreamChecker.cpp782 SVB.evalBinOpNN(State, BO_LT, RetVal, *NMembVal, SVB.getConditionType()) in evalFreadFwrite()
838 SVB.getConditionType()) in evalFgetx()
846 SVB.getConditionType()) in evalFgetx()
930 SVB.getConditionType()) in evalFputx()
975 SVB.getConditionType()) in evalFprintf()
1029 SVB.makeZeroVal(ACtx.IntTy), SVB.getConditionType()) in evalFscanf()
1127 SVB.getConditionType()) in evalGetdelim()
1305 SVB.getConditionType()) in evalFtell()
H A DCStringChecker.cpp571 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
788 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
882 svalBuilder.getConditionType()); in getCStringLengthForRegion()
1272 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType()); in memsetAux()
1584 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()
1758 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
2259 svalBuilder.getConditionType()); in evalStrcmpCommon()
H A DVLASizeChecker.cpp194 SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType()); in checkVLAIndexSize()
H A DErrnoModeling.cpp294 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
H A DBitwiseShiftChecker.cpp148 SVB.getConditionType()); in assumeRequirement()
H A DArrayBoundCheckerV2.cpp201 SVB.evalBinOpNN(State, OpKind, Value, Threshold, SVB.getConditionType()) in compareValueToThreshold()
H A DIteratorModeling.cpp795 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
H A DBasicObjCFoundationChecks.cpp942 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
H A DStdLibraryFunctionsChecker.cpp1138 QualType CondT = SVB.getConditionType(); in apply()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp141 Bldr.getConditionType()); in evalComparison()
H A DSimpleSValBuilder.cpp239 nonloc::ConcreteInt(Bound), SVB.getConditionType()); in isInRelation()
310 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked()
387 if (ResultTy != SVB.getConditionType()) in tryRearrange()
649 resultTy == getConditionType()); in evalBinOpNN()
652 getConditionType())); in evalBinOpNN()
H A DSValBuilder.cpp549 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
615 QualType CmpTy = getConditionType(); in evalIntegralCast()
H A DExprEngine.cpp272 svalBuilder.getConditionType()); in getInitialState()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h149 QualType getConditionType() const { in getConditionType() function