reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
531 ProgramStateRef State = C.getState(); 535 auto RetSVal = C.getSVal(S).getAs<DefinedOrUnknownSVal>(); 543 C.getLocationContext()->getAnalysisDeclContext(); 579 C.getLocationContext()->inTopFrame()) { 581 ExplodedNode *N = C.generateErrorNode(State, &Tag); 588 OS << " returned from a " << C.getDeclDescription(D) << 591 ErrorKind::NilReturnedToNonnull, N, nullptr, C, 600 C.addTransition(State); 617 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); 617 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); 621 OS << "Nullable pointer is returned from a " << C.getDeclDescription(D) << 626 Region, C); 634 C.addTransition(State);