| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 192 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{}); in MakeSymIntVal()
456 return evalCast(makeIntVal(0, /*isUnsigned=*/false), resultTy, in evalBinOpNN()
460 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
590 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
595 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
841 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
881 return evalCast(nonloc::ConcreteInt(*ResultInt), resultTy, QualType{}); in evalBinOpLL()
924 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
928 NonLoc l = evalCast(lhs, boolType, QualType{}).castAs<NonLoc>(); in evalBinOpLL()
1010 LeftIndexVal = evalCast(*LeftIndex, ArrayIndexTy, QualType{}); in evalBinOpLL()
[all …]
|
| H A D | ExprEngineC.cpp | 156 V = svalBuilder.evalCast(V, CLHSTy, LTy); in VisitBinaryOperator()
159 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
175 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); in VisitBinaryOperator()
179 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); in VisitBinaryOperator()
272 SVal V = svalBuilder.evalCast(SimplifiedOrigV, T, ExTy); in handleLValueBitCast()
325 CastedV = svalBuilder.evalCast(svalBuilder.simplifySVal(State, OrigV), in VisitCast()
449 V = svalBuilder.evalCast(V, T, ExTy); in VisitCast()
767 svalBuilder.evalCast(RHSVal, B->getType(), RHS->getType()), in VisitLogicalExpr()
|
| H A D | SValBuilder.cpp | 129 return evalCast(val, ArrayIndexTy, QualType{}); in convertToArrayIndex()
404 return evalCast(*Val, CE->getType(), SE->getType()); in getConstantVal()
600 return evalCast(val, castTy, originalTy); in evalIntegralCast()
605 return evalCast(val, castTy, originalTy); in evalIntegralCast()
625 return evalCast(val, castTy, originalTy); in evalIntegralCast()
1105 SVal SValBuilder::evalCast(SVal V, QualType CastTy, QualType OriginalTy) { in evalCast() function in SValBuilder
|
| H A D | SimpleConstraintManager.cpp | 38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assumeInternal()
|
| H A D | CallEvent.cpp | 457 return SVB.evalCast(ArgVal, Param->getType(), ArgExpr->getType()); in castArgToParamTypeIfNeeded()
753 return SVB.evalCast(ThisVal, Base->getType(), OriginalTy); in getCXXThisVal()
858 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents()
|
| H A D | RegionStore.cpp | 1617 return svalBuilder.evalCast(getBindingForField(B, FR), T, QualType{}); in getBinding()
1625 return svalBuilder.evalCast(getBindingForElement(B, ER), T, QualType{}); in getBinding()
1635 return svalBuilder.evalCast(getBindingForObjCIvar(B, IVR), T, QualType{}); in getBinding()
1645 return svalBuilder.evalCast(getBindingForVar(B, VR), T, QualType{}); in getBinding()
|
| H A D | ExprEngineCallAndReturn.cpp | 329 AllocV = svalBuilder.evalCast( in processCallExit()
|
| H A D | ExprEngineCXX.cpp | 1077 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 62 {&CastValueChecker::evalCast, CallKind::Function}},
78 void evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
252 SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy) in addCastTransition()
369 void CastValueChecker::evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV, in evalCast() function in CastValueChecker
|
| H A D | CStringChecker.cpp | 627 svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType()); in CheckBufferAccess()
753 svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType()); in CheckOverlap()
1179 SVal BufStart = SB.evalCast(BufVal, PtrTy, BufTy); in isFirstBufInBound()
1387 CharVal = svalBuilder.evalCast(CharVal, Ctx.UnsignedCharTy, Ctx.IntTy); in memsetAux()
1510 SvalBuilder.evalCast(destVal, CharPtrTy, Dest.Expression->getType()); in evalCopyCommon()
1938 svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType()); in evalStrcpyCommon()
2254 LenVal = svalBuilder.evalCast(LenVal, sizeTy, LenExpr->getType()); in evalStrcpyCommon()
|
| H A D | VLASizeChecker.cpp | 113 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1145 OtherV = SVB.evalCast(OtherV, T, OtherT); in apply()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 85 SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy);
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 8121 …uilder8evalCastENS0_4SValENS_8QualTypeES3_", "clang::ento::SValBuilder::evalCast(clang::ento::SVal…
|