1 /* Python interface to finish breakpoints
3 Copyright (C) 2011-2024 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
23 #include "python-internal.h"
24 #include "breakpoint.h"
26 #include "gdbthread.h"
27 #include "arch-utils.h"
29 #include "observable.h"
34 /* Function that is called when a Python finish bp is found out of scope. */
35 static const char outofscope_func
[] = "out_of_scope";
37 /* struct implementing the gdb.FinishBreakpoint object by extending
38 the gdb.Breakpoint class. */
39 struct finish_breakpoint_object
41 /* gdb.Breakpoint base class. */
42 gdbpy_breakpoint_object py_bp
;
44 /* gdb.Symbol object of the function finished by this breakpoint.
46 nullptr if no debug information was available or return type was VOID. */
47 PyObject
*func_symbol
;
49 /* gdb.Value object of the function finished by this breakpoint.
51 nullptr if no debug information was available or return type was VOID. */
52 PyObject
*function_value
;
54 /* When stopped at this FinishBreakpoint, gdb.Value object returned by
55 the function; Py_None if the value is not computable; NULL if GDB is
56 not stopped at a FinishBreakpoint. */
57 PyObject
*return_value
;
59 /* The initiating frame for this operation, used to decide when we have
61 struct frame_id initiating_frame
;
64 extern PyTypeObject finish_breakpoint_object_type
65 CPYCHECKER_TYPE_OBJECT_FOR_TYPEDEF ("finish_breakpoint_object");
67 /* Python function to get the 'return_value' attribute of
71 bpfinishpy_get_returnvalue (PyObject
*self
, void *closure
)
73 struct finish_breakpoint_object
*self_finishbp
=
74 (struct finish_breakpoint_object
*) self
;
76 if (!self_finishbp
->return_value
)
79 Py_INCREF (self_finishbp
->return_value
);
80 return self_finishbp
->return_value
;
83 /* Deallocate FinishBreakpoint object. */
86 bpfinishpy_dealloc (PyObject
*self
)
88 struct finish_breakpoint_object
*self_bpfinish
=
89 (struct finish_breakpoint_object
*) self
;
91 Py_XDECREF (self_bpfinish
->func_symbol
);
92 Py_XDECREF (self_bpfinish
->function_value
);
93 Py_XDECREF (self_bpfinish
->return_value
);
94 Py_TYPE (self
)->tp_free (self
);
97 /* Triggered when gdbpy_breakpoint_cond_says_stop is about to execute the `stop'
98 callback of the gdb.FinishBreakpoint object BP_OBJ. Will compute and cache
99 the `return_value', if possible. */
102 bpfinishpy_pre_stop_hook (struct gdbpy_breakpoint_object
*bp_obj
)
104 struct finish_breakpoint_object
*self_finishbp
=
105 (struct finish_breakpoint_object
*) bp_obj
;
107 /* Can compute return_value only once. */
108 gdb_assert (!self_finishbp
->return_value
);
110 if (self_finishbp
->func_symbol
== nullptr)
115 scoped_value_mark free_values
;
117 struct symbol
*func_symbol
=
118 symbol_object_to_symbol (self_finishbp
->func_symbol
);
119 struct value
*function
=
120 value_object_to_value (self_finishbp
->function_value
);
122 get_return_value (func_symbol
, function
);
126 self_finishbp
->return_value
= value_to_value_object (ret
);
127 if (!self_finishbp
->return_value
)
128 gdbpy_print_stack ();
133 self_finishbp
->return_value
= Py_None
;
136 catch (const gdb_exception
&except
)
138 gdbpy_convert_exception (except
);
139 gdbpy_print_stack ();
143 /* Triggered when gdbpy_breakpoint_cond_says_stop has triggered the `stop'
144 callback of the gdb.FinishBreakpoint object BP_OBJ. */
147 bpfinishpy_post_stop_hook (struct gdbpy_breakpoint_object
*bp_obj
)
152 /* Can't delete it here, but it will be removed at the next stop. */
153 disable_breakpoint (bp_obj
->bp
);
154 bp_obj
->bp
->disposition
= disp_del_at_next_stop
;
156 catch (const gdb_exception
&except
)
158 gdbpy_convert_exception (except
);
159 gdbpy_print_stack ();
163 /* Python function to create a new breakpoint. */
166 bpfinishpy_init (PyObject
*self
, PyObject
*args
, PyObject
*kwargs
)
168 static const char *keywords
[] = { "frame", "internal", NULL
};
169 struct finish_breakpoint_object
*self_bpfinish
=
170 (struct finish_breakpoint_object
*) self
;
171 PyObject
*frame_obj
= NULL
;
173 frame_info_ptr frame
= NULL
; /* init for gcc -Wall */
174 frame_info_ptr prev_frame
= NULL
;
175 struct frame_id frame_id
;
176 PyObject
*internal
= NULL
;
180 if (!gdb_PyArg_ParseTupleAndKeywords (args
, kwargs
, "|OO", keywords
,
181 &frame_obj
, &internal
))
186 /* Default frame to newest frame if necessary. */
187 if (frame_obj
== NULL
)
188 frame
= get_current_frame ();
190 frame
= frame_object_to_frame_info (frame_obj
);
194 PyErr_SetString (PyExc_ValueError
,
195 _("Invalid ID for the `frame' object."));
199 prev_frame
= get_prev_frame (frame
);
202 PyErr_SetString (PyExc_ValueError
,
203 _("\"FinishBreakpoint\" not "
204 "meaningful in the outermost "
207 else if (get_frame_type (prev_frame
) == DUMMY_FRAME
)
209 PyErr_SetString (PyExc_ValueError
,
210 _("\"FinishBreakpoint\" cannot "
211 "be set on a dummy frame."));
214 /* Get the real calling frame ID, ignoring inline frames. */
215 frame_id
= frame_unwind_caller_id (frame
);
218 catch (const gdb_exception
&except
)
220 return gdbpy_handle_gdb_exception (-1, except
);
223 if (PyErr_Occurred ())
226 if (inferior_ptid
== null_ptid
)
228 PyErr_SetString (PyExc_ValueError
,
229 _("No thread currently selected."));
233 thread
= inferior_thread ()->global_num
;
237 internal_bp
= PyObject_IsTrue (internal
);
238 if (internal_bp
== -1)
240 PyErr_SetString (PyExc_ValueError
,
241 _("The value of `internal' must be a boolean."));
246 /* Find the function we will return from. */
247 self_bpfinish
->func_symbol
= nullptr;
248 self_bpfinish
->function_value
= nullptr;
252 if (get_frame_pc_if_available (frame
, &pc
))
254 struct symbol
*function
= find_pc_function (pc
);
255 if (function
!= nullptr)
257 struct type
*ret_type
=
258 check_typedef (function
->type ()->target_type ());
260 /* Remember only non-void return types. */
261 if (ret_type
->code () != TYPE_CODE_VOID
)
263 scoped_value_mark free_values
;
265 /* Ignore Python errors at this stage. */
266 value
*func_value
= read_var_value (function
, NULL
, frame
);
267 self_bpfinish
->function_value
268 = value_to_value_object (func_value
);
271 self_bpfinish
->func_symbol
272 = symbol_to_symbol_object (function
);
278 catch (const gdb_exception_forced_quit
&except
)
280 quit_force (NULL
, 0);
282 catch (const gdb_exception
&except
)
284 /* Just swallow. Either the return type or the function value
288 if (self_bpfinish
->func_symbol
== nullptr
289 || self_bpfinish
->function_value
== nullptr)
291 /* Won't be able to compute return value. */
292 Py_XDECREF (self_bpfinish
->func_symbol
);
293 Py_XDECREF (self_bpfinish
->function_value
);
295 self_bpfinish
->func_symbol
= nullptr;
296 self_bpfinish
->function_value
= nullptr;
299 bppy_pending_object
= &self_bpfinish
->py_bp
;
300 bppy_pending_object
->number
= -1;
301 bppy_pending_object
->bp
= NULL
;
305 /* Set a breakpoint on the return address. */
306 location_spec_up locspec
307 = new_address_location_spec (get_frame_pc (prev_frame
), NULL
, 0);
308 create_breakpoint (gdbpy_enter::get_gdbarch (),
309 locspec
.get (), NULL
, thread
, -1, NULL
, false,
315 &code_breakpoint_ops
,
316 0, 1, internal_bp
, 0);
318 catch (const gdb_exception
&except
)
320 return gdbpy_handle_gdb_exception (-1, except
);
323 self_bpfinish
->py_bp
.bp
->frame_id
= frame_id
;
324 self_bpfinish
->py_bp
.is_finish_bp
= 1;
325 self_bpfinish
->initiating_frame
= get_frame_id (frame
);
327 /* Bind the breakpoint with the current program space. */
328 self_bpfinish
->py_bp
.bp
->pspace
= current_program_space
;
333 /* Called when GDB notices that the finish breakpoint BP_OBJ is out of
334 the current callstack. Triggers the method OUT_OF_SCOPE if implemented,
335 then delete the breakpoint. */
338 bpfinishpy_out_of_scope (struct finish_breakpoint_object
*bpfinish_obj
)
340 gdbpy_breakpoint_object
*bp_obj
= (gdbpy_breakpoint_object
*) bpfinish_obj
;
341 PyObject
*py_obj
= (PyObject
*) bp_obj
;
343 if (bpfinish_obj
->py_bp
.bp
->enable_state
== bp_enabled
344 && PyObject_HasAttrString (py_obj
, outofscope_func
))
346 gdbpy_ref
<> meth_result
= gdbpy_call_method (py_obj
, outofscope_func
);
347 if (meth_result
== NULL
)
348 gdbpy_print_stack ();
352 /* Callback for `bpfinishpy_detect_out_scope'. Triggers Python's
353 `B->out_of_scope' function if B is a FinishBreakpoint out of its scope.
355 When DELETE_BP is true then breakpoint B will be deleted if B is a
356 FinishBreakpoint and it is out of scope, otherwise B will not be
360 bpfinishpy_detect_out_scope_cb (struct breakpoint
*b
,
361 struct breakpoint
*bp_stopped
,
364 PyObject
*py_bp
= (PyObject
*) b
->py_bp_object
;
366 /* Trigger out_of_scope if this is a FinishBreakpoint and its frame is
367 not anymore in the current callstack. */
368 if (py_bp
!= NULL
&& b
->py_bp_object
->is_finish_bp
)
370 struct finish_breakpoint_object
*finish_bp
=
371 (struct finish_breakpoint_object
*) py_bp
;
373 /* Check scope if not currently stopped at the FinishBreakpoint. */
378 struct frame_id initiating_frame
= finish_bp
->initiating_frame
;
380 if (b
->pspace
== current_inferior ()->pspace
381 && (!target_has_registers ()
382 || frame_find_by_id (initiating_frame
) == NULL
))
384 bpfinishpy_out_of_scope (finish_bp
);
386 delete_breakpoint (finish_bp
->py_bp
.bp
);
389 catch (const gdb_exception
&except
)
391 gdbpy_convert_exception (except
);
392 gdbpy_print_stack ();
398 /* Called when gdbpy_breakpoint_deleted is about to delete a breakpoint. A
399 chance to trigger the out_of_scope callback (if appropriate) for the
400 associated Python object. */
403 bpfinishpy_pre_delete_hook (struct gdbpy_breakpoint_object
*bp_obj
)
405 breakpoint
*bp
= bp_obj
->bp
;
406 bpfinishpy_detect_out_scope_cb (bp
, nullptr, false);
409 /* Attached to `stop' notifications, check if the execution has run
410 out of the scope of any FinishBreakpoint before it has been hit. */
413 bpfinishpy_handle_stop (struct bpstat
*bs
, int print_frame
)
415 gdbpy_enter enter_py
;
417 for (breakpoint
&bp
: all_breakpoints_safe ())
418 bpfinishpy_detect_out_scope_cb
419 (&bp
, bs
== NULL
? NULL
: bs
->breakpoint_at
, true);
422 /* Attached to `exit' notifications, triggers all the necessary out of
423 scope notifications. */
426 bpfinishpy_handle_exit (struct inferior
*inf
)
428 gdbpy_enter
enter_py (current_inferior ()->arch ());
430 for (breakpoint
&bp
: all_breakpoints_safe ())
431 bpfinishpy_detect_out_scope_cb (&bp
, nullptr, true);
434 /* Initialize the Python finish breakpoint code. */
436 static int CPYCHECKER_NEGATIVE_RESULT_SETS_EXCEPTION
437 gdbpy_initialize_finishbreakpoints (void)
439 if (!gdbpy_breakpoint_init_breakpoint_type ())
442 if (gdbpy_type_ready (&finish_breakpoint_object_type
) < 0)
445 gdb::observers::normal_stop
.attach (bpfinishpy_handle_stop
,
446 "py-finishbreakpoint");
447 gdb::observers::inferior_exit
.attach (bpfinishpy_handle_exit
,
448 "py-finishbreakpoint");
453 GDBPY_INITIALIZE_FILE (gdbpy_initialize_finishbreakpoints
);
457 static gdb_PyGetSetDef finish_breakpoint_object_getset
[] = {
458 { "return_value", bpfinishpy_get_returnvalue
, NULL
,
459 "gdb.Value object representing the return value, if any. \
460 None otherwise.", NULL
},
461 { NULL
} /* Sentinel. */
464 PyTypeObject finish_breakpoint_object_type
=
466 PyVarObject_HEAD_INIT (NULL
, 0)
467 "gdb.FinishBreakpoint", /*tp_name*/
468 sizeof (struct finish_breakpoint_object
), /*tp_basicsize*/
470 bpfinishpy_dealloc
, /*tp_dealloc*/
477 0, /*tp_as_sequence*/
485 Py_TPFLAGS_DEFAULT
| Py_TPFLAGS_BASETYPE
, /*tp_flags*/
486 "GDB finish breakpoint object", /* tp_doc */
489 0, /* tp_richcompare */
490 0, /* tp_weaklistoffset */
495 finish_breakpoint_object_getset
,/* tp_getset */
496 &breakpoint_object_type
, /* tp_base */
498 0, /* tp_descr_get */
499 0, /* tp_descr_set */
500 0, /* tp_dictoffset */
501 bpfinishpy_init
, /* tp_init */