In D48328#1102276, @asomers wrote:

I think this is OK. But it would also be fine just to put an assert(j < max_queue_per_proc before the array dereference.