341 lines
14 KiB
Plaintext
341 lines
14 KiB
Plaintext
Contents
|
|
--------
|
|
|
|
If you find inaccuracies in this list, please send mail to
|
|
bug-gdb@prep.ai.mit.edu.
|
|
|
|
* Things to do for Mach.
|
|
* General to do list.
|
|
|
|
Things to do for Mach
|
|
---------------------
|
|
|
|
This section is up to date as of 28 Oct 1993.
|
|
|
|
All my attempted compilation was on douglas.gnu.ai.mit.edu.
|
|
|
|
0. Get it to compile and run again, especially for non-threaded
|
|
programs (some of the following are sub-tasks for this).
|
|
|
|
1. attach_command still contains a call to wait_for_inferior which is
|
|
wrong for Mach. Need to figure out a way to push this functionality
|
|
into target_attach (perhaps by having target_attach, for non-Mach
|
|
targets, call a function which does what is now in attach_command).
|
|
|
|
2. jtv's port contains an #ifdef which skips the call to
|
|
insert_step_breakpoint right after SOLIB_CREATE_INFERIOR_HOOK, but
|
|
goes ahead and calls insert_breakpoints. I don't understand this--the
|
|
comment would appear to apply to all breakpoints. Perhaps it is an
|
|
artifact from a previous version of the Mach port? (BTW, the modern
|
|
equivalent is the call to proceed from m3_create_inferior; proceed
|
|
inserts breakpoints).
|
|
|
|
3. Get the thread stuff to use the new generic thread code (enhancing
|
|
the generic thread code to include any missing features). This is
|
|
necessary to make thread-specific breakpoints work again. If someone
|
|
wants to try to patch up the old Mach threads code, need to deal with
|
|
the hooks for PREPARE_TO_PROCEED and ATTACH_TO_THREAD, which I haven't
|
|
merged--can these go in target_resume()?
|
|
|
|
4. BFD problem--"Undefined symbol _aout_32_swap_exec_header_in".
|
|
|
|
5. The linker complains about mfree and so on being multiply defined.
|
|
As one version is in a library, this seems like a linker bug. But I
|
|
think changing MMALLOC_LIB to MMALLOC in the .mh files is all that is
|
|
necessary to fix it.
|
|
|
|
6. i386_mach3_float_info and register_addr were undefined in the
|
|
link. I haven't investigated, but probably just another easy
|
|
configuration thing or something.
|
|
|
|
7. I couldn't find mach_port_t in any of the headers in
|
|
/usr/include/*.h or /usr/include/mach/*.h (I think those are the two
|
|
places I tried). Typedeffing it to void * in nm-m3.h seemed to work,
|
|
but of course that's hardly an elegant solution.
|
|
|
|
8. Implement the features which CMU gdb has which the main GDB does
|
|
not. This could be done by getting paperwork from CMU and merging
|
|
their changes, or by reimplementing them.
|
|
|
|
General To Do List
|
|
------------------
|
|
|
|
This to do list is probably not up to date, and opinions may vary
|
|
about the importance or even desirability of some of the items.
|
|
|
|
It should be possible to use symbols from shared libraries before we know
|
|
exactly where the libraries will be loaded. E.g. "b perror" before running
|
|
the program. This could maybe be done as an extension of the "breakpoint
|
|
re-evaluation" after new symbols are loaded.
|
|
|
|
Make single_step() insert and remove breakpoints in one operation.
|
|
|
|
Speed up single stepping by avoiding extraneous ptrace calls.
|
|
|
|
Speed up single stepping by not inserting and removing breakpoints
|
|
each time the inferior starts and stops.
|
|
|
|
Breakpoints should not be inserted and deleted all the time. Only the
|
|
one(s) there should be removed when we have to step over one. Support
|
|
breakpoints that don't have to be removed to step over them.
|
|
|
|
Speed up watchpoints by using debug registers, page table diddling (on
|
|
SunOS4, can call mprotect() in the inferior; on other machines can do
|
|
something simpler), etc.
|
|
|
|
Update gdbint.texinfo to include doc on the directory structure and
|
|
the various tricks of building gdb.
|
|
|
|
Do a tutorial in gdb.texinfo on how to do simple things in gdb.
|
|
E.g. how to set a breakpoint that just prints something and continues.
|
|
How to break on aborts. Etc.
|
|
|
|
Provide "voodoo" debugging of core files. This creates a zombie
|
|
process as a child of the debugger, and loads it up with the data,
|
|
stack, and regs of the core file. This allows you to call functions
|
|
in the executable, to manipulate the data in the core file.
|
|
|
|
GDB reopens the source file on every line, as you "next" through it.
|
|
|
|
Referencing the vtbl member of a struct doesn't work. It prints OK
|
|
if you print the struct, but it gets 0 if you try to deref it.
|
|
|
|
Persistent command history: A feature where you could save off a list
|
|
of the commands you did, so you can edit it into something that will bring
|
|
the target to the same place every time you source it.
|
|
This would also be useful for automated fast watchpointing; if you go
|
|
past the place where it watchpoints, you just start it over again and
|
|
do it more carefully.
|
|
|
|
Deal with the SunOS 4.0 and 4.1.1 ptrace bug that loses the registers if
|
|
the stack is paged out.
|
|
|
|
Finish the C++ exception handling stub routines. Lint points them out
|
|
as unused statics functions.
|
|
|
|
Perhaps "i source" should take an argument like that of "list".
|
|
|
|
See if coredep.c's fetch_core_registers can be used on more machines.
|
|
E.g. MIPS (mips-xdep.c).
|
|
|
|
unpack_double() does not handle IEEE float on the target unless the host
|
|
is also IEEE. Death on a vax.
|
|
|
|
Set up interface between GDB and INFO so that you can hop into interactive
|
|
INFO and back out again. When running under Emacs, should use Emacs
|
|
info, else fork the info program. Installation of GDB should install
|
|
its texinfo files into the info tree automagically, including the readline
|
|
texinfo files.
|
|
|
|
"help address" ought to find the "help set print address" entry.
|
|
|
|
Remove the VTBL internal guts from printouts of C++ structs, unless
|
|
vtblprint is set.
|
|
|
|
Remove "at 0xnnnn" from the "b foo" response, if `print address off' and if
|
|
it matches the source line indicated.
|
|
|
|
The prompt at end of screen should accept space as well as CR.
|
|
|
|
"List" should put you into a pseudo-"more" where you can hit space to
|
|
get more, forever to eof. (questionable--you can already hit return
|
|
to get more, and modal user interfaces are evil -kingdon, 28 Oct
|
|
1993).
|
|
|
|
Check STORE_RETURN_VALUE on all architectures. Check near it in tm-sparc.h
|
|
for other bogosities.
|
|
|
|
Check for storage leaks in GDB, I'm sure there are a lot!
|
|
|
|
vtblprint of a vtbl should demangle the names it's printing.
|
|
|
|
Backtrace should point out what the currently selected frame is, in
|
|
its display, perhaps showing "@3 foo (bar, ...)" or ">3 foo (bar,
|
|
...)" rather than "#3 foo (bar, ...)".
|
|
|
|
"i program" should work for core files, and display more info, like what
|
|
actually caused it to die.
|
|
|
|
"x/10i" should shorten the long name, if any, on subsequent lines.
|
|
|
|
Check through the code for FIXME comments and fix them. dbxread.c,
|
|
blockframe.c, and plenty more.
|
|
|
|
"next" over a function that longjumps, never stops until next time you happen
|
|
to get to that spot by accident. E.g. "n" over execute_command which has
|
|
an error.
|
|
|
|
Watchpoints seem not entirely reliable, though they haven't failed me recently.
|
|
|
|
"set zeroprint off", don't bother printing members of structs which are entirely
|
|
zero. Useful for those big structs with few useful members.
|
|
|
|
GDB does four ioctl's for every command, probably switching terminal modes
|
|
to/from inferior or for readline or something.
|
|
|
|
terminal_ours versus terminal_inferior: cache state. Switch should be a noop
|
|
if the state is the same, too.
|
|
|
|
ptype $i6 = void??!
|
|
|
|
Clean up invalid_float handling so gdb doesn't coredump when it tries to
|
|
access a NaN. While this might work on SPARC, other machines are not
|
|
configured right.
|
|
|
|
"b value_at ; commands ; continue ; end" stops EVERY OTHER TIME!
|
|
Then once you enter a command, it does the command, runs two more
|
|
times, and then stops again! Bizarre... (This behaviour has been
|
|
modified, but it is not yet 100% predictable when e.g. the commands
|
|
call functions in the child, and while there, the child is interrupted
|
|
with a signal, or hits a breakpoint.)
|
|
|
|
help completion, help history should work.
|
|
|
|
Check that we can handle stack trace through varargs AND alloca in same
|
|
function, on 29K.
|
|
|
|
wait_for_inferior loops forever if wait() gives it an error.
|
|
|
|
"i frame" shows wrong "arglist at" location, doesn't show where the args
|
|
should be found, only their actual values.
|
|
|
|
There should be a way for "set" commands to validate the new setting
|
|
before it takes effect.
|
|
|
|
A mess of floating point opcodes are missing from sparc-opcode.h.
|
|
Also, a little program should test the table for bits that are
|
|
overspecified or underspecified. E.g. if the must-be-ones bits
|
|
and the must-be-zeroes bits leave some fields unexamined, and the format
|
|
string leaves them unprinted, then point this out. If multiple
|
|
non-alias patterns match, point this out too. Finally, there should
|
|
be a sparc-optest.s file that tries each pattern out. This file
|
|
should end up coming back the same (modulo transformation comments)
|
|
if fed to "gas" then the .o is fed to gdb for disassembly.
|
|
|
|
Eliminate all the core_file_command's in all the xdep files.
|
|
Eliminate separate declarations of registers[] everywhere.
|
|
|
|
"ena d" is ambiguous, why? "ena delete" seems to think it is a command!
|
|
|
|
Line numbers are off in some spots. In proceed() at 1st "oneproc = 1",
|
|
it seems to run that statement, but it doesn't actually.
|
|
|
|
Perhaps move the tdep, xdep, and nat files, into the config
|
|
subdirectories. If not, at least straighten out their names so that
|
|
they all start with the machine name.
|
|
|
|
inferior_status should include stop_print_frame. It won't need to be
|
|
reset in wait_for_inferior after bpstat_stop_status call, then.
|
|
|
|
i line VAR produces "Line number not known for symbol ``var''.". I
|
|
thought we were stashing that info now!
|
|
|
|
We should be able to write to random files at hex offsets like adb.
|
|
|
|
Make "target xxx" command interruptible.
|
|
|
|
Handle add_file with separate text, data, and bss addresses. Maybe
|
|
handle separate addresses for each segment in the object file?
|
|
|
|
Handle free_named_symtab to cope with multiply-loaded object files
|
|
in a dynamic linking environment. Should remember the last copy loaded,
|
|
but not get too snowed if it finds references to the older copy.
|
|
|
|
The original BFD core dump reading routine would itself coredump when fed
|
|
a garbage file as a core file. Does the current one?
|
|
|
|
Generalize and Standardize the RPC interface to a target program,
|
|
improve it beyond the "ptrace" interface, and see if it can become a
|
|
standard for remote debugging.
|
|
|
|
Remove all references to:
|
|
text_offset
|
|
data_offset
|
|
text_data_start
|
|
text_end
|
|
exec_data_offset
|
|
...
|
|
now that we have BFD. All remaining are in machine dependent files.
|
|
|
|
When quitting with a running program, if a core file was previously
|
|
examined, you get "Couldn't read float regs from core file"...if
|
|
indeed it can't. generic_mourn_inferior...
|
|
|
|
Have remote targets give a warning on a signal argument to
|
|
target_resume. Or better yet, extend the protocols so that it works
|
|
like it does on the Unix-like systems.
|
|
|
|
Sort help and info output.
|
|
|
|
Re-organize help categories into things that tend to fit on a screen
|
|
and hang together.
|
|
|
|
renote-nindy.c handles interrupts poorly; it error()s out of badly
|
|
chosen places, e.g. leaving current_frame zero, which causes core dumps
|
|
on the next command.
|
|
|
|
Add in commands like ADB's for searching for patterns, etc. We should
|
|
be able to examine and patch raw unsymboled binaries as well in gdb as
|
|
we can in adb. (E.g. increase the timeout in /bin/login without source).
|
|
|
|
Those xdep files that call register_addr without defining it are
|
|
probably simply broken. When reconfiguring this part of gdb, I could
|
|
only make guesses about how to redo some of those files, and I
|
|
probably guessed wrong, or left them "for later" when I have a
|
|
machine that can attempt to build them.
|
|
|
|
When doing "step" or "next", if a few lines of source are skipped between
|
|
the previous line and the current one, print those lines, not just the
|
|
last line of a multiline statement.
|
|
|
|
When searching for C++ superclasses in value_cast in valops.c, we must
|
|
not search the "fields", only the "superclasses". There might be a
|
|
struct with a field name that matches the superclass name. This can
|
|
happen when the struct was defined before the superclass (before the
|
|
name became a typedef).
|
|
|
|
Handling of "&" address-of operator needs some serious overhaul
|
|
for ANSI C and consistency on arrays and functions.
|
|
For "float point[15];":
|
|
ptype &point[4] ==> Attempt to take address of non-lvalue.
|
|
For "char *malloc();":
|
|
ptype malloc ==> "char *()"; should be same as
|
|
ptype &malloc ==> "char *(*)()"
|
|
call printf ("%x\n", malloc) ==> wierd value, should be same as
|
|
call printf ("%x\n", &malloc) ==> correct value
|
|
|
|
Fix dbxread.c symbol reading in the presence of interrupts. It
|
|
currently leaves a cleanup to blow away the entire symbol table when a
|
|
QUIT occurs. (What's wrong with that? -kingdon, 28 Oct 1993).
|
|
|
|
Mipsread.c reads include files depth-first, because the dependencies
|
|
in the psymtabs are way too inclusive (it seems to me). Figure out what
|
|
really depends on what, to avoid recursing 20 or 30 times while reading
|
|
real symtabs.
|
|
|
|
value_add() should be subtracting the lower bound of arrays, if known,
|
|
and possibly checking against the upper bound for error reporting.
|
|
|
|
mipsread.c symbol table allocation and deallocation should be checked.
|
|
My suspicion is that it's full of memory leaks.
|
|
|
|
SunOS should have a target_lookup_symbol() for common'd things allocated
|
|
by the shared library linker ld.so.
|
|
|
|
When listing source lines, check for a preceding \n, to verify that
|
|
the file hasn't changed out from under us.
|
|
|
|
When listing source lines, eat leading whitespace corresponding to the
|
|
line-number prefix we print. This avoids long lines wrapping.
|
|
|
|
mipsread.c needs to check for old symtabs and psymtabs for the same
|
|
files, the way it happens for dbxread.c and coffread.c, for VxWorks
|
|
incremental symbol table reloading.
|
|
|
|
Get all the remote systems (where the protocol allows it) to be able to
|
|
stop the remote system when the GDB user types ^C (like remote.c
|
|
does). For ebmon, use ^Ak.
|
|
|
|
Possible feature: A version of the "disassemble" command which shows
|
|
both source and assembly code.
|