| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 150 return evalCast(nonloc::SymbolVal(LHS), resultTy, QualType{}); in MakeSymIntVal()
396 return evalCast(makeIntVal(0, /*isUnsigned=*/false), resultTy, in evalBinOpNN()
400 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
517 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
522 return evalCast(lhs, resultTy, QualType{}); in evalBinOpNN()
739 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
776 return evalCast(*Result, resultTy, QualType{}); in evalBinOpLL()
821 return evalCast(lhs, resultTy, QualType{}); in evalBinOpLL()
825 NonLoc l = evalCast(lhs, boolType, QualType{}).castAs<NonLoc>(); in evalBinOpLL()
907 LeftIndexVal = evalCast(*LeftIndex, ArrayIndexTy, QualType{}); in evalBinOpLL()
[all …]
|
| H A D | SValBuilder.cpp | 110 return evalCast(val, ArrayIndexTy, QualType{}); in convertToArrayIndex()
359 return evalCast(*Val, CE->getType(), SE->getType()); in getConstantVal()
510 return evalCast(val, castTy, originalTy); in evalIntegralCast()
514 return evalCast(val, castTy, originalTy); in evalIntegralCast()
538 return evalCast(val, castTy, originalTy); in evalIntegralCast()
558 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()
742 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 assume()
|
| H A D | RegionStore.cpp | 1481 return svalBuilder.evalCast(getBindingForField(B, FR), T, QualType{}); in getBinding()
1489 return svalBuilder.evalCast(getBindingForElement(B, ER), T, QualType{}); in getBinding()
1499 return svalBuilder.evalCast(getBindingForObjCIvar(B, IVR), T, QualType{}); in getBinding()
1509 return svalBuilder.evalCast(getBindingForVar(B, VR), T, QualType{}); in getBinding()
|
| H A D | ExprEngineCallAndReturn.cpp | 267 AllocV = svalBuilder.evalCast( in processCallExit()
|
| H A D | ExprEngineCXX.cpp | 920 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
|
| H A D | CallEvent.cpp | 814 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents()
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 61 {&CastValueChecker::evalCast, CallKind::Function}},
77 void evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
251 SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy) in addCastTransition()
366 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 | 417 svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType()); in CheckBufferAccess()
513 svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType()); in CheckOverlap()
902 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()
1071 CharVal = svalBuilder.evalCast(CharVal, Ctx.UnsignedCharTy, Ctx.IntTy); in memsetAux()
1190 SvalBuilder.evalCast(destVal, CharPtrTy, Dest.Expression->getType()); in evalCopyCommon()
1605 svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType()); in evalStrcpyCommon()
|
| H A D | StdLibraryFunctionsChecker.cpp | 796 OtherV = SVB.evalCast(OtherV, T, OtherT); in apply()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 119 SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy);
|