Fixed #6070 (false positive: Array 'array[8192]' accessed at index 8192, which is out of bounds)