[PATCH] Replace psymbol_allocation_list with std::vector

[Tom Tromey]

>>>>> "Simon" == Simon Marchi <simon.marchi@ericsson.com> writes:

Simon> new FAIL: gdb.base/catch-syscall.exp: execve: syscall execve has returned
Simon> new FAIL: gdb.base/catch-syscall.exp: execve: continue to main
Simon> new FAIL: gdb.base/catch-syscall.exp: execve: continue until exit

FWIW I see these from the buildbot as well.

Tom