Searched refs:wasEmpty (Results 1 – 1 of 1) sorted by relevance
58 bool wasEmpty = queue.empty(); in push() local60 if (wasEmpty && scheduler) { in push()75 bool wasEmpty; in receive() local82 wasEmpty = queue.empty(); in receive()87 if (!wasEmpty) { in receive()