Searched refs:evalCast (Results 1 – 6 of 6) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 139 V = svalBuilder.evalCast(V, CLHSTy, LTy); in VisitBinaryOperator()
142 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
157 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); in VisitBinaryOperator()
162 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); in VisitBinaryOperator()
316 V = svalBuilder.evalCast(V, T, ExTy); in VisitCast()
558 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType()); in VisitLogicalExpr()
|
| D | SValBuilder.cpp | 275 return evalCast(*ArrayVal, CE->getType(), CE->getSubExpr()->getType()); in getConstantVal()
397 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { in evalCast() function in SValBuilder
|
| D | ExprEngineCXX.cpp | 404 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), in VisitCXXNewExpr()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | VLASizeChecker.cpp | 134 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); in checkPreStmt()
|
| D | CStringChecker.cpp | 374 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in CheckBufferAccess()
394 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType()); in CheckBufferAccess()
487 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, in CheckOverlap()
1327 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 85 SVal evalCast(SVal val, QualType castTy, QualType originalType);
|