Fixed #6344 (false positive: out of bounds access when array size is unknown)