Searched refs:joinSuccessors (Results 1 – 1 of 1) sorted by relevance
741 CurrentState = joinSuccessors(BB); in check()1323 State joinSuccessors(const CFGBlock *BB) const { in joinSuccessors() function in __anon4ef948f50111::CalledOnceChecker