1 # Gdb commands useful to debug ghdl
4 call vhdl.disp_tree.disp_iir ($arg0, 1, 10)
8 Print the structure of the iirs that is $arg0.
12 call vhdl.disp_tree.disp_iir ($arg0, 1, 0)
16 Print the iirs that is $arg0.
20 call vhdl.disp_tree.disp_iir ($arg0, 1, 1)
24 call vhdl.disp_tree.disp_iir ($arg0, 1, 1)
34 call disp_iir_list ($arg0, 0, 0)
38 call debug_source_loc (vhdl.nodes.get_location ($arg0))
42 Print the list of iirs that is $arg0.
46 call disp_iir_list ($arg0, 0, 1)
50 Print flatly the list of iirs that is $arg0.
54 call vhdl.disp_tree.disp_chain ($arg0, 0, 0)
58 Print the chain of iirs that is $arg0
62 call disp_value ($arg0)
66 Print the value that is $.
70 call disp_iir_location ($arg0)
74 Print the location for iir $.
78 call psl.dump_tree.disp_tree($arg0, 0, 2)
82 Print the PSL node that is $arg0
87 # Must be the last command: some distributions use a shared libgnat by default,
88 # and don't have the minimal required set of debug info to support this command.
89 # As a result, this command fails and stop this script.