| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 278 nonloc::ConcreteInt(BV.getValue(Max)), SVB.getConditionType()); in assumeNoOverflow()
288 nonloc::ConcreteInt(BV.getValue(Min)), SVB.getConditionType()); in assumeNoOverflow()
308 SVB.evalBinOp(State, Opc, NL1, NL2, SVB.getConditionType()); in compare()
|
| H A D | STLAlgorithmModeling.cpp | 157 SVB.getConditionType()); in Find()
179 SVB.getConditionType()); in Find()
|
| H A D | SetgidSetuidOrderChecker.cpp | 106 SVB.getConditionType()) in evalAssume()
|
| H A D | ErrnoModeling.cpp | 247 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
|
| H A D | CStringChecker.cpp | 720 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
939 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
1033 svalBuilder.getConditionType()); in getCStringLengthForRegion()
1423 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType()); in memsetAux()
1736 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()
1908 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
2449 svalBuilder.getConditionType()); in evalStrcmpCommon()
|
| H A D | VLASizeChecker.cpp | 186 SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType()); in checkVLAIndexSize()
|
| H A D | BitwiseShiftChecker.cpp | 146 SVB.getConditionType()); in assumeRequirement()
|
| H A D | UnixAPIChecker.cpp | 368 *NDefSVal, SVB.getConditionType()) in EnsureGetdelimBufferAndSizeCorrect()
|
| H A D | ArrayBoundChecker.cpp | 346 SVB.evalBinOpNN(State, OpKind, Value, Threshold, SVB.getConditionType()) in compareValueToThreshold()
|
| H A D | StreamChecker.cpp | 710 auto Cond = SVB.evalBinOpNN(State, Op, LHS, RHS, SVB.getConditionType()) in assumeBinOpNN()
914 SVB.evalBinOp(State, BO_NE, RetVal, VarValue, SVB.getConditionType()) in assumeNoAliasingWithStdStreams()
1342 E.SVB.getConditionType()) in evalFprintf()
|
| H A D | IteratorModeling.cpp | 803 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
|
| H A D | BasicObjCFoundationChecks.cpp | 937 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
|
| H A D | MallocChecker.cpp | 1938 QualType CmpTy = SVB.getConditionType(); in checkTaintedness()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1136 QualType CondT = SVB.getConditionType(); in apply()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 154 Bldr.getConditionType()); in evalComparison()
|
| H A D | SimpleSValBuilder.cpp | 240 SVB.getConditionType()); in isInRelation()
311 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked()
389 if (ResultTy != SVB.getConditionType()) in tryRearrange()
651 resultTy == getConditionType()); in evalBinOpNN()
654 getConditionType())); in evalBinOpNN()
|
| H A D | SValBuilder.cpp | 550 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
616 QualType CmpTy = getConditionType(); in evalIntegralCast()
|
| H A D | ExprEngine.cpp | 273 svalBuilder.getConditionType()); in getInitialState()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 154 QualType getConditionType() const { in getConditionType() function
|