Lines Matching refs:getPredecessor
756 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();1669 ExplodedNode *N = C.getPredecessor();1672 N = C.addTransition(C.getState(), C.getPredecessor(), &Tag);