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

References

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

  369   std::tie(NonNullState, NullState) = C.getState()->assume(DV);
  371   if (NonNullState) {
  372     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/true);
  373     addInstanceOfTransition(Call, DV, NonNullState, C, /*IsInstanceOf=*/false);