Searched refs:PathsType (Results 1 – 1 of 1) sorted by relevance
355 typedef std::vector<PathType> PathsType; typedef547 PathsType LoopPaths = paths(SwitchBlock, Visited, /* PathDepth = */ 1); in run()593 PathsType paths(BasicBlock *BB, VisitedBlocks &Visited, in paths()595 PathsType Res; in paths()627 PathsType SuccPaths = paths(Succ, Visited, PathDepth + 1); in paths()648 StateDefMap getStateDefMap(const PathsType &LoopPaths) const { in getStateDefMap()