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