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);
  360   if (NullState) {
  361     C.generateSink(NullState, C.getPredecessor());