[RFA 7/9] Use std::vector in find_source_lines

[Pedro Alves]

On 02/09/2018 01:00 PM, Tom Tromey wrote:
>>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:
> 
> Tom> +    end = &data[size];
> 
> Andre pointed out that this is possibly fishy, so I think perhaps the
> appended should go in.  Ok?

OK.

Thanks,
Pedro Alves