Home | History | Annotate | Download | only in Sema

Lines Matching refs:States

198 // All blocks are in one of three states.  States are ordered so that blocks
199 // can only move to higher states.
213   SmallVector<RecursiveState, 16> States(cfg->getNumBlockIDs(), FoundNoPath);
214   States[cfg->getEntry().getBlockID()] = FoundPathWithNoRecursiveCall;
225     RecursiveState CurState = States[ID];
242         if (States[next_ID] < CurState) {
243           States[next_ID] = CurState;
251   return States[ExitID] == FoundPath;