Searched refs:getConditionType (Results 1 – 14 of 14) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | STLAlgorithmModeling.cpp | 133 SVB.getConditionType()); in Find()
155 SVB.getConditionType()); in Find()
|
| H A D | Iterator.cpp | 279 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 D | ArrayBoundCheckerV2.cpp | 157 svalBuilder.getConditionType()); in checkLocation()
196 svalBuilder.getConditionType()); in checkLocation()
|
| H A D | CStringChecker.cpp | 550 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
764 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
1194 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType()); in memsetAux()
1503 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()
1670 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
2152 svalBuilder.getConditionType()); in evalStrcmpCommon()
|
| H A D | ErrnoModeling.cpp | 299 SVB.evalBinOp(State, BO_NE, ErrnoSym, ZeroVal, SVB.getConditionType()) in setErrnoForStdFailure()
|
| H A D | IteratorModeling.cpp | 800 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
|
| H A D | BasicObjCFoundationChecks.cpp | 933 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
|
| H A D | StreamChecker.cpp | 901 SVB.getConditionType()) in evalFtell()
|
| H A D | StdLibraryFunctionsChecker.cpp | 954 QualType CondT = SVB.getConditionType(); in apply()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 139 Bldr.getConditionType()); in evalComparison()
|
| H A D | SimpleSValBuilder.cpp | 225 nonloc::ConcreteInt(Bound), SVB.getConditionType()); in isInRelation()
296 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked()
373 if (ResultTy != SVB.getConditionType()) in tryRearrange()
622 resultTy == getConditionType()); in evalBinOpNN()
625 getConditionType())); in evalBinOpNN()
|
| H A D | SValBuilder.cpp | 542 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
610 QualType CmpTy = getConditionType(); in evalIntegralCast()
|
| H A D | ExprEngine.cpp | 271 svalBuilder.getConditionType()); in getInitialState()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 141 QualType getConditionType() const { in getConditionType() function
|