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