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

References

tools/clang/lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp
  263   ProgramStateRef State = C.getState();
  264   SVal CastedVal = C.getSVal(CastedExpr);
  272   C.addTransition(State);