[PATCH 2/6] Use a std::vector in target_section_table

[Tom Tromey]

>>>>> "Luis" == Luis Machado <luis.machado@linaro.org> writes:

Luis> On 10/14/20 9:58 AM, Tom Tromey wrote:
Luis> From seeing the before/after log files, I only noticed differences in
Luis> the values printed. Maybe something is not getting relocated/reloaded
Luis> properly?
>> I tried on gcc113 today and couldn't reproduce the bug.

Luis> I have a Ubuntu 18.04 system with the standard GCC 7.5.0. What OS is
Luis> gcc113 running?

Ubuntu 14.04.6 LTS.
There doesn't seem to be a newer OS available.
But ... did Tom de Vries' patch help?

Tom