Lines Matching defs:Pred
73 ExplodedNode *Pred;
93 Pred(pred),
98 assert(Pred->getState() &&
117 ExplodedNode *getPredecessor() { return Pred; }
118 const ProgramStateRef &getState() const { return Pred->getState(); }
139 return Pred->getLocationContext();
143 return Pred->getStackFrame();
174 return Pred->getLocationContext()->getAnalysisDeclContext();
217 /// @param Pred The transition will be generated from the specified Pred node
221 ExplodedNode *Pred,
223 return addTransitionImpl(State, false, Pred, Tag);
229 ExplodedNode *Pred = nullptr,
231 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
290 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
291 return Pred;
296 P = Pred;