Searched refs:NodeHeader (Results 1 – 1 of 1) sorted by relevance
195 BasicBlock *NodeHeader = getNodeHeader(Node); in ProcessNode() local197 if (Visited.count(NodeHeader)) { // Node already been visited? in ProcessNode()198 if (Int->contains(NodeHeader)) { // Already in this interval... in ProcessNode()201 if (!Int->isSuccessor(NodeHeader)) // Add only if not already in set in ProcessNode()202 Int->Successors.push_back(NodeHeader); in ProcessNode()208 if (!Int->isSuccessor(NodeHeader)) // Add only if not already in set in ProcessNode()209 Int->Successors.push_back(NodeHeader); in ProcessNode()217 Visited.insert(NodeHeader); // The node has now been visited! in ProcessNode()219 if (Int->isSuccessor(NodeHeader)) { in ProcessNode()222 Int->Successors.end(), NodeHeader), in ProcessNode()