Searched refs:getConditionType (Results 1 – 12 of 12) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | STLAlgorithmModeling.cpp | 132 SVB.getConditionType()); in Find()
154 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 | 480 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
674 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
1107 State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType()); in memsetAux()
1409 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()
1576 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
2057 svalBuilder.getConditionType()); in evalStrcmpCommon()
|
| H A D | IteratorModeling.cpp | 801 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
|
| H A D | BasicObjCFoundationChecks.cpp | 932 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
|
| H A D | StdLibraryFunctionsChecker.cpp | 787 QualType CondT = SVB.getConditionType(); in apply()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 119 Bldr.getConditionType()); in evalComparison()
|
| H A D | SimpleSValBuilder.cpp | 186 nonloc::ConcreteInt(Bound), SVB.getConditionType()); in isInRelation()
257 ResultTy = SVB.getConditionType(); in doRearrangeUnchecked()
338 if (ResultTy != SVB.getConditionType()) in tryRearrange()
578 resultTy == getConditionType()); in evalBinOpNN()
581 getConditionType())); in evalBinOpNN()
|
| H A D | SValBuilder.cpp | 474 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()); in evalEQ()
542 QualType CmpTy = getConditionType(); in evalIntegralCast()
|
| H A D | ExprEngine.cpp | 260 svalBuilder.getConditionType()); in getInitialState()
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 174 QualType getConditionType() const { in getConditionType() function
|