| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 177 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{}); in MakeSymIntVal()
439 return evalCast(makeIntVal(0, /*isUnsigned=*/false), resultTy, in evalBinOpNN()
443 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
560 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
565 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
812 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
894 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
898 NonLoc l = evalCast(lhs, boolType, QualType{}).castAs<NonLoc>(); in evalBinOpLL()
980 LeftIndexVal = evalCast(*LeftIndex, ArrayIndexTy, QualType{}); in evalBinOpLL()
990 RightIndexVal = evalCast(*RightIndex, ArrayIndexTy, QualType{}); in evalBinOpLL()
[all …]
|
| H A D | SValBuilder.cpp | 133 return evalCast(val, ArrayIndexTy, QualType{}); in convertToArrayIndex()
395 return evalCast(*Val, CE->getType(), SE->getType()); in getConstantVal()
590 return evalCast(val, castTy, originalTy); in evalIntegralCast()
594 return evalCast(val, castTy, originalTy); in evalIntegralCast()
617 return evalCast(val, castTy, originalTy); in evalIntegralCast()
1092 SVal SValBuilder::evalCast(SVal V, QualType CastTy, QualType OriginalTy) { in evalCast() function in SValBuilder
|
| H A D | ExprEngineC.cpp | 154 V = svalBuilder.evalCast(V, CLHSTy, LTy); in VisitBinaryOperator()
157 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
172 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); in VisitBinaryOperator()
177 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); in VisitBinaryOperator()
271 SVal V = svalBuilder.evalCast(OrigV, T, ExTy); in handleLValueBitCast()
420 V = svalBuilder.evalCast(V, T, ExTy); in VisitCast()
734 svalBuilder.evalCast(RHSVal, B->getType(), RHS->getType()), in VisitLogicalExpr()
|
| H A D | SimpleConstraintManager.cpp | 38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assumeInternal()
|
| H A D | RegionStore.cpp | 1470 return svalBuilder.evalCast(getBindingForField(B, FR), T, QualType{}); in getBinding()
1478 return svalBuilder.evalCast(getBindingForElement(B, ER), T, QualType{}); in getBinding()
1488 return svalBuilder.evalCast(getBindingForObjCIvar(B, IVR), T, QualType{}); in getBinding()
1498 return svalBuilder.evalCast(getBindingForVar(B, VR), T, QualType{}); in getBinding()
|
| H A D | ExprEngineCXX.cpp | 1045 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
|
| H A D | ExprEngineCallAndReturn.cpp | 284 AllocV = svalBuilder.evalCast( in processCallExit()
|
| H A D | CallEvent.cpp | 782 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents()
|
| /llvm-project-15.0.7/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 | VLASizeChecker.cpp | 115 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
|
| H A D | CStringChecker.cpp | 458 svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType()); in CheckBufferAccess()
559 svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType()); in CheckOverlap()
968 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()
1134 CharVal = svalBuilder.evalCast(CharVal, Ctx.UnsignedCharTy, Ctx.IntTy); in memsetAux()
1253 SvalBuilder.evalCast(destVal, CharPtrTy, Dest.Expression->getType()); in evalCopyCommon()
1673 svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType()); in evalStrcpyCommon()
|
| H A D | StdLibraryFunctionsChecker.cpp | 956 OtherV = SVB.evalCast(OtherV, T, OtherT); in apply()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 84 SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy);
|