Searched refs:PathsType (Results 1 – 1 of 1) sorted by relevance
314 typedef std::vector<PathType> PathsType; typedef507 PathsType LoopPaths = paths(SwitchBlock, Visited, /* PathDepth = */ 1); in run()553 PathsType paths(BasicBlock *BB, VisitedBlocks &Visited, in paths()555 PathsType Res; in paths()587 PathsType SuccPaths = paths(Succ, Visited, PathDepth + 1); in paths()608 StateDefMap getStateDefMap(const PathsType &LoopPaths) const { in getStateDefMap()