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