Lines Matching refs:verify
219 void LazyCallGraph::SCC::verify() { in verify() function in LazyCallGraph::SCC
293 void LazyCallGraph::RefSCC::verify() { in verify() function in LazyCallGraph::RefSCC
301 C->verify(); in verify()
525 verify(); in switchInternalEdgeToCall()
526 auto VerifyOnExit = make_scope_exit([&]() { verify(); }); in switchInternalEdgeToCall()
557 verify(); in switchInternalEdgeToCall()
583 verify(); in switchInternalEdgeToCall()
631 verify(); in switchInternalEdgeToCall()
672 verify(); in switchTrivialInternalEdgeToRef()
673 auto VerifyOnExit = make_scope_exit([&]() { verify(); }); in switchTrivialInternalEdgeToRef()
694 verify(); in switchInternalEdgeToRef()
695 auto VerifyOnExit = make_scope_exit([&]() { verify(); }); in switchInternalEdgeToRef()
892 verify(); in switchOutgoingEdgeToCall()
914 verify(); in switchOutgoingEdgeToRef()
927 verify(); in insertInternalRefEdge()
947 verify(); in insertOutgoingEdge()
966 verify(); in insertIncomingRefEdge()
967 auto VerifyOnExit = make_scope_exit([&]() { verify(); }); in insertIncomingRefEdge()
1104 verify(); in removeOutgoingEdge()
1105 auto VerifyOnExit = make_scope_exit([&]() { verify(); }); in removeOutgoingEdge()
1124 verify(); in removeInternalRefEdge()
1129 verify(); in removeInternalRefEdge()
1344 RC->verify(); in removeInternalRefEdge()
1372 auto ExitVerifier = make_scope_exit([this] { verify(); }); in insertTrivialCallEdge()
1406 auto ExitVerifier = make_scope_exit([this] { verify(); }); in insertTrivialRefEdge()
1437 auto ExitVerifier = make_scope_exit([this] { verify(); }); in replaceNodeFunction()
1723 NewRC->verify(); in buildRefSCCs()