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);
  376   if (NullState) {
  377     addInstanceOfTransition(Call, DV, NullState, C, /*IsInstanceOf=*/false);