Home | History | Annotate | Download | only in Checkers

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);