Fixed #6339 (false negative: array index out of bounds on allocated buffer using valueflow)