Searched refs:evalCast (Results 1 – 7 of 7) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| 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()
595 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType()); in VisitLogicalExpr()
|
| D | SValBuilder.cpp | 304 return evalCast(*Val, CE->getType(), SE->getType()); in getConstantVal()
427 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { in evalCast() function in SValBuilder
|
| 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/clang/lib/StaticAnalyzer/Checkers/ |
| D | VLASizeChecker.cpp | 157 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); in checkPreStmt()
|
| D | CStringChecker.cpp | 388 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in CheckBufferAccess()
408 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType()); in CheckBufferAccess()
501 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, in CheckOverlap()
855 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()
1056 loc::MemRegionVal DestRegCharVal = SvalBuilder.evalCast(destRegVal, in evalCopyCommon()
1458 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);
|