Resize the given array as needed to meet a target size. @param a the array to potentially resize @param size the minimum size of the target array @return the resized array, if the original array meets the size requirement, it is simply return, otherwise a new array is allocated and the contents of t
(int[] a, int size)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected