Fixed #5416 (False positive: Array accessed at index, which is out of bounds.)