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

References

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

  159   ProgramStateRef State = C.getState()->assume(DV, IsNonNullParam);
  184   const MemRegion *MR = DV.getAsRegion();
  209   SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy)