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

References

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

  353   std::tie(NonNullState, NullState) = C.getState()->assume(DV);
  356     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true);
  357     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false);
  361     C.generateSink(NullState, C.getPredecessor());
  361     C.generateSink(NullState, C.getPredecessor());