Closed
Description
Test case is approximately as follows:
- create a channel and pass it to a new task
- have the new task pass the channel to another new task
- from that newest task, send on the channel
4.receive on the original task
Expected: successful exit of program
Actual:
- warning: '_unread == 0', at: ../src/rt/circular_buffer.cpp:28 freeing circular_buffer with 4 unread bytes
- program does not terminate
Metadata
Metadata
Assignees
Labels
No labels