| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 178 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{}); in MakeSymIntVal()
440 return evalCast(makeIntVal(0, /*isUnsigned=*/false), resultTy, in evalBinOpNN()
444 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
561 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
566 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
813 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
852 return evalCast(nonloc::ConcreteInt(*ResultInt), resultTy, QualType{}); in evalBinOpLL()
895 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
899 NonLoc l = evalCast(lhs, boolType, QualType{}).castAs<NonLoc>(); in evalBinOpLL()
981 LeftIndexVal = evalCast(*LeftIndex, 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()
592 return evalCast(val, castTy, originalTy); in evalIntegralCast()
596 return evalCast(val, castTy, originalTy); in evalIntegralCast()
619 return evalCast(val, castTy, originalTy); in evalIntegralCast()
1094 SVal SValBuilder::evalCast(SVal V, QualType CastTy, QualType OriginalTy) { in evalCast() function in SValBuilder
|
| H A D | ExprEngineC.cpp | 155 V = svalBuilder.evalCast(V, CLHSTy, LTy); in VisitBinaryOperator()
158 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
173 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); in VisitBinaryOperator()
178 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); in VisitBinaryOperator()
272 SVal V = svalBuilder.evalCast(OrigV, T, ExTy); in handleLValueBitCast()
421 V = svalBuilder.evalCast(V, T, ExTy); in VisitCast()
735 svalBuilder.evalCast(RHSVal, B->getType(), RHS->getType()), in VisitLogicalExpr()
|
| H A D | SimpleConstraintManager.cpp | 39 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assumeInternal()
|
| H A D | CallEvent.cpp | 455 return SVB.evalCast(ArgVal, Param->getType(), ArgExpr->getType()); in castArgToParamTypeIfNeeded()
818 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents()
|
| H A D | RegionStore.cpp | 1471 return svalBuilder.evalCast(getBindingForField(B, FR), T, QualType{}); in getBinding()
1479 return svalBuilder.evalCast(getBindingForElement(B, ER), T, QualType{}); in getBinding()
1489 return svalBuilder.evalCast(getBindingForObjCIvar(B, IVR), T, QualType{}); in getBinding()
1499 return svalBuilder.evalCast(getBindingForVar(B, VR), T, QualType{}); in getBinding()
|
| H A D | ExprEngineCallAndReturn.cpp | 334 AllocV = svalBuilder.evalCast( in processCallExit()
|
| H A D | ExprEngineCXX.cpp | 1100 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
|
| /openbsd-src/gnu/llvm/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 | 116 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
|
| H A D | CStringChecker.cpp | 482 svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType()); in CheckBufferAccess()
583 svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType()); in CheckOverlap()
992 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()
1158 CharVal = svalBuilder.evalCast(CharVal, Ctx.UnsignedCharTy, Ctx.IntTy); in memsetAux()
1277 SvalBuilder.evalCast(destVal, CharPtrTy, Dest.Expression->getType()); in evalCopyCommon()
1699 svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType()); in evalStrcpyCommon()
|
| H A D | StdLibraryFunctionsChecker.cpp | 963 OtherV = SVB.evalCast(OtherV, T, OtherT); in apply()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 84 SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy);
|