gdb: add interp::on_record_changed method
authorSimon Marchi <simon.marchi@efficios.com>
Fri, 21 Apr 2023 13:45:30 +0000 (09:45 -0400)
committerSimon Marchi <simon.marchi@efficios.com>
Tue, 30 May 2023 19:07:26 +0000 (15:07 -0400)
commit44fbffc69d68e35f0e0bdbe8f6f186dc79924d11
tree71121fe533060c428bb1f2c521f5dfd00380f50f
parent2646bfa763e890c41474206344e3b02e1648c765
gdb: add interp::on_record_changed method

Same idea as previous patches, but for record_changed

Change-Id: I5eeeacd703af8401c315060514c94e8e6439cc40
gdb/interps.c
gdb/interps.h
gdb/mi/mi-interp.c
gdb/mi/mi-interp.h
gdb/observable.c
gdb/observable.h
gdb/record-btrace.c
gdb/record-full.c
gdb/record.c