gdb: store interps in an intrusive_list
authorSimon Marchi <simon.marchi@efficios.com>
Fri, 28 Apr 2023 18:27:12 +0000 (14:27 -0400)
committerSimon Marchi <simon.marchi@efficios.com>
Mon, 1 May 2023 19:40:54 +0000 (15:40 -0400)
commit4a91f820ef4d1301ea1a85c8de313a39457b266e
treeaa912ef587a6ce46cdf47da1580be37e38e33088
parent13d03262f25bfbf15e4a5f1d867cca243c7ee3ca
gdb: store interps in an intrusive_list

Use intrusive_list, instead of hand-made linked list.

Change-Id: Idc857b40dfa3e3c35671045898331cca2c928097
gdb/interps.c
gdb/interps.h