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