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