multiplex_pucch_resource() may run in infinite loop
We checked, it looks a direct C language transcription of the standard, but
bool overlap = check_overlapping_resources(curr_start, curr_length, next_start, next_length);
can return false
when j < num_res - 1
in this case, j
and o don't change when we loop, so overlap will be false again
=> infinite loop
we observed several times, but no known way to replicate this bug
Edited by Robert Schmidt