| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 304 return evalCast(*Val, CE->getType(), SE->getType()); in getConstantVal()
439 return evalCast(val, castTy, originalTy); in evalIntegralCast()
443 return evalCast(val, castTy, originalTy); in evalIntegralCast()
467 return evalCast(val, castTy, originalTy); in evalIntegralCast()
471 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { in evalCast() function in SValBuilder
|
| D | ExprEngineC.cpp | 146 V = svalBuilder.evalCast(V, CLHSTy, LTy); in VisitBinaryOperator()
149 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
164 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); in VisitBinaryOperator()
169 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); in VisitBinaryOperator()
347 V = svalBuilder.evalCast(V, T, ExTy); in VisitCast()
606 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType()); in VisitLogicalExpr()
|
| D | SimpleConstraintManager.cpp | 81 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
|
| D | ExprEngineCXX.cpp | 509 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 359 return evalCast(*Val, CE->getType(), SE->getType()); in getConstantVal()
502 return evalCast(val, castTy, originalTy); in evalIntegralCast()
506 return evalCast(val, castTy, originalTy); in evalIntegralCast()
530 return evalCast(val, castTy, originalTy); in evalIntegralCast()
534 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { in evalCast() function in SValBuilder
|
| 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()
739 svalBuilder.evalCast(RHSVal, B->getType(), RHS->getType()), in VisitLogicalExpr()
|
| D | SimpleConstraintManager.cpp | 38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
|
| D | ExprEngineCallAndReturn.cpp | 266 AllocV = svalBuilder.evalCast( in processCallExit()
|
| D | ExprEngineCXX.cpp | 920 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
|
| D | CallEvent.cpp | 814 ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy); in getInitialStackFrameContents()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| 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
|
| D | VLASizeChecker.cpp | 115 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
|
| 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()
|
| D | StdLibraryFunctionsChecker.cpp | 671 OtherV = SVB.evalCast(OtherV, T, OtherT); in apply()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | VLASizeChecker.cpp | 156 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); in checkPreStmt()
|
| D | CStringChecker.cpp | 392 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in CheckBufferAccess()
412 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType()); in CheckBufferAccess()
505 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, in CheckOverlap()
859 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()
1060 loc::MemRegionVal DestRegCharVal = SvalBuilder.evalCast(destRegVal, in evalCopyCommon()
1462 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 105 SVal evalCast(SVal val, QualType castTy, QualType originalType);
|
| /external/turbine/java/com/google/turbine/binder/ |
| D | ConstEvaluator.java | 160 return evalCast((TypeCast) t); in eval()
446 private Const.Value evalCast(TypeCast t) { in evalCast() method in ConstEvaluator
|