reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
51 assert(Pred->getState() && 70 ExplodedNode *getPredecessor() { return Pred; } 71 const ProgramStateRef &getState() const { return Pred->getState(); } 92 return Pred->getLocationContext(); 96 return Pred->getStackFrame(); 123 return Pred->getLocationContext()->getAnalysisDeclContext(); 145 return Pred->getSVal(S); 199 return generateSink(State, Pred, 340 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink)) 341 return Pred; 346 P = Pred;tools/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp
23 SVal L = Pred->getSVal(Callee);