Searched refs:PathsType (Results 1 – 1 of 1) sorted by relevance
328 typedef std::vector<PathType> PathsType; typedef544 PathsType LoopPaths = paths(SwitchBlock, Visited, /* PathDepth = */ 1); in run()590 PathsType paths(BasicBlock *BB, VisitedBlocks &Visited, in paths()592 PathsType Res; in paths()630 PathsType SuccPaths = paths(Succ, Visited, PathDepth + 1); in paths()651 StateDefMap getStateDefMap(const PathsType &LoopPaths) const { in getStateDefMap()