Searched defs:maxStep (Results 1 – 1 of 1) sorted by relevance
34 unsigned maxStep; member269 ExplodedNode *Pred, unsigned &maxStep) { in shouldCompletelyUnroll()338 unsigned maxStep; in updateLoopStack() local