Searched defs:StateAfterJoin (Results 1 – 1 of 1) sorted by relevance
1435 bool isLosingCall(const State &StateAfterJoin, const CFGBlock *JoinBlock, in isLosingCall()1444 bool isLosingEscape(const State &StateAfterJoin, const CFGBlock *JoinBlock, in isLosingEscape()1451 bool isLosingJoin(const State &StateAfterJoin, const CFGBlock *JoinBlock, in isLosingJoin()