| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | PointerSubChecker.cpp | 80 ElemCount, SVB.getConditionType()) in checkArrayBounds()
92 SVB.getConditionType()) in checkArrayBounds()
|
| H A D | STLAlgorithmModeling.cpp | 154 SVB.getConditionType()); in Find()
176 SVB.getConditionType()); in Find()
|
| H A D | Iterator.cpp | 277 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 D | SetgidSetuidOrderChecker.cpp | 106 SVB.getConditionType()) in evalAssume()
|
| H A D | ErrnoModeling.cpp | 249 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
|
| H A D | CStringChecker.cpp | 715 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
933 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
1027 svalBuilder.getConditionType()); in getCStringLengthForRegion()
1417 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType()); in memsetAux()
1732 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()
1906 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
2407 svalBuilder.getConditionType()); in evalStrcmpCommon()
|
| H A D | VLASizeChecker.cpp | 188 SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType()); in checkVLAIndexSize()
|
| H A D | BitwiseShiftChecker.cpp | 148 SVB.getConditionType()); in assumeRequirement()
|
| H A D | UnixAPIChecker.cpp | 358 *NDefSVal, SVB.getConditionType()) in EnsureGetdelimBufferAndSizeCorrect()
|
| H A D | ArrayBoundCheckerV2.cpp | 330 SVB.evalBinOpNN(State, OpKind, Value, Threshold, SVB.getConditionType()) in compareValueToThreshold()
|
| H A D | IteratorModeling.cpp | 796 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
|
| H A D | StreamChecker.cpp | 703 auto Cond = SVB.evalBinOpNN(State, Op, LHS, RHS, SVB.getConditionType()) in assumeBinOpNN()
1303 E.SVB.getConditionType()) in evalFprintf()
|
| H A D | BasicObjCFoundationChecks.cpp | 938 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
|
| H A D | MallocChecker.cpp | 1725 QualType CmpTy = SVB.getConditionType(); in checkTaintedness()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1138 QualType CondT = SVB.getConditionType(); in apply()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 239 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 D | CheckerContext.cpp | 154 Bldr.getConditionType()); in evalComparison()
|
| H A D | SValBuilder.cpp | 549 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
615 QualType CmpTy = getConditionType(); in evalIntegralCast()
|
| H A D | ExprEngine.cpp | 272 svalBuilder.getConditionType()); in getInitialState()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 153 QualType getConditionType() const { in getConditionType() function
|