reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

  105   SVal evalCast(SVal val, QualType castTy, QualType originalType);

References

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

  415   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
  435     BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());
  528   SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy,
  916   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
 1083     CharVal = svalBuilder.evalCast(CharVal, Ctx.UnsignedCharTy, Ctx.IntTy);
 1204           SvalBuilder.evalCast(destVal, CharPtrTy, Dest->getType());
 1591     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());

tools/clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp

  209   SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy)

tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp

  332   OtherV = SVB.evalCast(OtherV, T, OtherT);

tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp

  158       svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();

tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp

  818         ThisVal = SVB.evalCast(ThisVal, Ty, StaticTy);

tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp

  155       V = svalBuilder.evalCast(V, CLHSTy, LTy);
  158       SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
  173         Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
  178         LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
  272   SVal V = svalBuilder.evalCast(OrigV, T, ExTy);
  725                     svalBuilder.evalCast(RHSVal, B->getType(), RHS->getType()),

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp

  825     Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(),

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp

  263       AllocV = svalBuilder.evalCast(

tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

  350       return evalCast(*Val, CE->getType(), SE->getType());
  493     return evalCast(val, castTy, originalTy);
  497     return evalCast(val, castTy, originalTy);
  521   return evalCast(val, castTy, originalTy);

tools/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp

   38     Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();