Searched refs:verifyReachability (Results 1 – 1 of 1) sorted by relevance
1263 bool verifyReachability(const DomTreeT &DT) { in verifyReachability() function1608 if (!SNCA.verifyRoots(DT) || !SNCA.verifyReachability(DT) || in Verify()