Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getPredecessor

2654   const ExplodedNode *pred = C.getPredecessor();  
2696   const ExplodedNode *Pred = C.getPredecessor();  
2895     NewNode = C.getPredecessor();
3570   ExplodedNode *Pred = Ctx.getPredecessor();
3610   ExplodedNode *Pred = C.getPredecessor();