[gambit-list] How do you use "___print_ctrl_flow_history" in GDB - where do you get the ___ps from?

Adam adam.mlmb at gmail.com
Wed Jan 20 16:46:41 EST 2016


Dear Marc,

How do I actually run "___print_ctrl_flow_history" from a GDB prompt such
as the one below?

I have access to global vars, can I pick up the needed ___ps argument from
there, or do I need to make an own facility for knowing what ___ps value to
use here?

E.g. "call ___print_ctrl_flow_history(123456 )"

Thanks!

$ gdb ./gsc/gsc
GNU gdb (GDB) 7.4.1-debian
Copyright (C) 2012 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html
>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "x86_64-linux-gnu".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /tmp/gambit/gsc/gsc...done.
(gdb) run
Starting program: /tmp/gambit/gsc/gsc
Gambit v4.8.3

> 1 2 3
1
> 2
> 3
>
Program received signal SIGINT, Interrupt.
0x00007ffff6f81433 in select () from /lib/x86_64-linux-gnu/libc.so.6
(gdb)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20160121/80a64bd6/attachment.htm>


More information about the Gambit-list mailing list